Welcome to the CHICKEN Scheme pasting service

(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