suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Wrap generated code in #%expression.

Browse Source 
This allows tc-toplevel to hand it off to tc-expr, and not reimplement
the details of annotations.
This commit is contained in:
Eric Dobson 2012-08-08 21:12:12 -07:00 committed by Sam Tobin-Hochstadt
parent 8545f421ab
commit b9408e545e
1 changed files with 13 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
collects/typed-racket/base-env/prims.rkt
View File

@ -234,18 +234,19 @@ This file defines two sorts of primitives. All of them are provided into any mod
(syntax-parse stx (syntax-parse stx
[(_ v:expr ty:expr) [(_ v:expr ty:expr)
(define (apply-contract ctc-expr) (define (apply-contract ctc-expr)
#`(ann #`(#%expression
#,(syntax-property (ann
#`(let-values (((val) #,(syntax-property #'(ann v Any) 'with-type #t))) #,(syntax-property
(contract #`(let-values (((val) #,(syntax-property #'(ann v Any) 'with-type #t)))
#,ctc-expr (contract
val #,ctc-expr
'cast val
'typed-world 'cast
val 'typed-world
(quote-syntax #,stx))) val
'typechecker:ignore-some #t) (quote-syntax #,stx)))
ty)) 'typechecker:ignore-some #t)
ty)))
(if (syntax-transforming-module-expression?) (if (syntax-transforming-module-expression?)
(let ((ctc (syntax-local-lift-expression (let ((ctc (syntax-local-lift-expression