Opened 13 years ago

Closed 13 years ago

Last modified 13 years ago

#897 closed defect (fixed)

compiler-typecase doesn't work with type-abbreviations

Reported by: megane Owned by: felix winkelmann
Priority: minor Milestone: 4.9.0
Component: unknown Version: 4.8.x
Keywords: types Cc:
Estimated difficulty:

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

Change History (3)

comment:1 Changed 13 years ago by felix winkelmann

Milestone: → 4.8.0
Owner: set to felix winkelmann
Status: new → assigned

comment:2 Changed 13 years ago by felix winkelmann

Resolution: → fixed
Status: assigned → closed

comment:3 Changed 13 years ago by felix winkelmann

Milestone: 4.8.0 → 4.9.0

Milestone 4.8.0 deleted

Note: See TracTickets for help on using tickets.