[Top][All Lists]
[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.
- [Chicken-janitors] #893: problem with type annotations and modules,
Chicken Trac <=