Opened 7 years ago

Closed 7 years ago

Last modified 7 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 7 years ago by felix winkelmann

Milestone: 4.8.0
Owner: set to felix winkelmann
Status: newassigned

comment:2 Changed 7 years ago by felix winkelmann

Resolution: fixed
Status: assignedclosed

comment:3 Changed 7 years ago by felix winkelmann

Milestone: 4.8.04.9.0

Milestone 4.8.0 deleted

Note: See TracTickets for help on using tickets.