Summary

scrutiny for list-of type wrong when matched with pair types

Metadata

• Id: 299025218bb68954328eedd1a04c4a1a51698d26
• Trac id: 952
• Type: defect
• Reporter: sjamaan
• Owner: felix
• Cc:
• Status: closed
• Component: scrutinizer
• Estimated difficulty:
• Resolution: fixed
• Priority: minor
• Milestone: someday
• Version: 4.8.x
• Changetime: 2012-11-10 18:40:59 UTC
• Created: 2012-11-09 21:18:25 UTC
• Keywords:

Description

See the program in #948; this particular case was fixed, but changing list to cons will cause breakage:

 #!scm
 (: apply1 (forall ((a number) b) (procedure ((procedure (#!rest a) b) (list-of a)) b)))
 
 (define (apply1 f args)
   (apply f args))
 
 (apply1 + (cons 'a (cons 2 '())))  ;;; Should give a warning, but doesn't

Changes and comments

[2012-11-10 18:40:59 UTC] sjamaan changed status from new to closed

[2012-11-10 18:40:59 UTC] sjamaan set resolution to fixed

[2012-11-10 18:40:59 UTC] sjamaan wrote:

Fixed with dd46f23