[Chicken-janitors] #896: -strict-types fails with forall types (sometimes)

[Chicken Trac]

#896: -strict-types fails with forall types (sometimes)
----------------------+-----------------------------------------------------
 Reporter:  syn       |       Owner:       
     Type:  defect    |      Status:  new  
 Priority:  minor     |   Milestone:  4.8.0
Component:  compiler  |     Version:  4.8.x
 Keywords:            |  
----------------------+-----------------------------------------------------
 {{{

 (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

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/896>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.