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