Hi!
Below is an example that fails.
Is this expected behavior? It feels a bit redundant to use 'assume' for
the parameter 'a' as the type for the procedure has already been
declared.
(: foo (fixnum -> undefined))
(define (foo a)
(cond-expand
(compiling
(compiler-typecase a
(fixnum #t))
(else #t)))
(print a))
;; Error: in toplevel procedure `foo':
;; (test1.scm:2) no clause applies in `compiler-typecase' for expression of
type `*':
;; fixnum
_______________________________________________
Chicken-users mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/chicken-users
