chicken-janitors
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Chicken-janitors] #893: problem with type annotations and modules


From: Chicken Trac
Subject: [Chicken-janitors] #893: problem with type annotations and modules
Date: Thu, 09 Aug 2012 13:33:33 -0000

#893: problem with type annotations and modules
---------------------------+------------------------------------------------
 Reporter:  megane         |       Owner:       
     Type:  defect         |      Status:  new  
 Priority:  critical       |   Milestone:  4.8.0
Component:  unknown        |     Version:  4.7.x
 Keywords:  modules types  |  
---------------------------+------------------------------------------------
 {{{
 (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


 }}}

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/893>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]