id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,difficulty 893,problem with type annotations and modules,megane,,"{{{ (define (baz a) (add1 a)) (define-syntax foo (ir-macro-transformer (lambda (e i c) `((the (procedure (*) fixnum) baz) 1)))) (print (foo)) (module m (bar) (import chicken scheme) (define-syntax bar (ir-macro-transformer (lambda (e i c) `((the (procedure (*) fixnum) baz) 1))))) (import m) (print (bar)) ;; $ csc -debug 2 -specialize foo.scm ;; [canonicalized] ;; (##core#callunit ""library"") ;; (##core#callunit ""eval"") ;; (##core#undefined) ;; (set! baz (##core#lambda (a1) (add1 a1))) ;; (##core#undefined) ;; (print (let ((g1516 (##core#the (procedure (*) fixnum) #t baz))) (g1516 '1))) ;; (##core#undefined) ;; (##core#undefined) ;; (print (let ((g4041 (##core#the #f #t baz))) (g4041 '1))) ;; ((##sys#implicit-exit-handler)) ;; (##core#undefined) ;; Error: invalid type specification: #f }}}",defect,closed,critical,4.9.0,unknown,4.7.x,fixed,modules types,,