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