[Chicken-users] Question about procedure type annotations

[megane]

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