[Chicken-janitors] #897: compiler-typecase doesn't work with type-abbreviations

[Chicken Trac]

#897: compiler-typecase doesn't work with type-abbreviations
---------------------+------------------------------------------------------
 Reporter:  megane   |       Owner:       
     Type:  defect   |      Status:  new  
 Priority:  minor    |   Milestone:       
Component:  unknown  |     Version:  4.8.x
 Keywords:  types    |  
---------------------+------------------------------------------------------
 {{{
 (define-type foo (list fixnum))
 (compiler-typecase (list 1)
   (foo #t))
 }}}

 {{{
 $ csc -specialize foo.scm

 Error: at toplevel:
   (foo.scm:16) no clause applies in `compiler-typecase' for expression of
 type `(list fixnum)':
     foo
 }}}

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