id summary reporter owner description type status priority milestone component version resolution keywords cc difficulty 952 scrutiny for list-of type wrong when matched with pair types sjamaan felix winkelmann "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 }}}" defect closed minor someday scrutinizer 4.8.x fixed