Re: [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
Resolution:            |    Keywords:       
-----------------------+----------------------------------------------------

Comment(by syn):

 Whoops, forgot to mention the actual error. It's

 {{{
 Error: [internal compiler error] resolve: can't resolve unknown type-
 variable: x20

         Call history:

         <syntax>          (##core#begin (define (foo x) (make-bar x)))
         <syntax>          (define (foo x) (make-bar x))
         <syntax>          (##core#set! foo (##core#lambda (x) (make-bar
 x)))
         <syntax>          (##core#lambda (x) (make-bar x))
         <syntax>          (##core#begin (make-bar x))
         <syntax>          (make-bar x)  <--
 }}}

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