id summary reporter owner description type status priority milestone component version resolution keywords cc difficulty 896 -strict-types fails with forall types (sometimes) Moritz Heidkamp felix winkelmann "{{{ (define-record bar foo) (define-type bar (struct bar)) ;; This breaks with csc -strict-types (: foo (forall (x string) (x -> bar))) ;; Using this declaration instead of the above makes it work ;; (: foo (string -> bar)) ;; Alternatively, removing this declaration makes it work, too (: make-bar (string -> bar)) (define (foo x) (make-bar x)) }}} Tested with 4.8.0rc2" defect closed minor 4.9.0 compiler 4.8.x fixed