Summary

compiler-typecase doesn't work with type-abbreviations

Metadata

• Id: c4c08fecea41a62808b4851f903a9d10c738d08d
• Trac id: 897
• Type: defect
• Reporter: megane
• Owner: felix
• Cc:
• Status: closed
• Component: unknown
• Estimated difficulty:
• Resolution: fixed
• Priority: minor
• Milestone: 4.9.0
• Version: 4.8.x
• Changetime: 2012-09-24 21:47:48 UTC
• Created: 2012-08-14 10:54:55 UTC
• Keywords: types

Description

 (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

Changes and comments

[2012-08-14 11:39:12 UTC] felix changed status from new to assigned

[2012-08-14 11:39:12 UTC] felix set owner to felix

[2012-08-14 11:39:12 UTC] felix set milestone to 4.8.0

[2012-08-23 21:45:54 UTC] felix changed status from assigned to closed

[2012-08-23 21:45:54 UTC] felix set resolution to fixed

[2012-09-24 21:47:48 UTC] felix changed milestone from 4.8.0 to 4.9.0

[2012-09-24 21:47:48 UTC] felix wrote:

Milestone 4.8.0 deleted