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

Have optimizer ignore contract definitions.

Browse Source 
This bug was hidden by a bug in syntax/parse.
This commit is contained in:
Vincent St-Amour 2013-11-08 15:59:40 -05:00
parent 2d6fc20350
commit 80fba7f42d
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt
View File

@ -78,12 +78,14 @@
#:typed-side #f #:typed-side #f
#:kind kind #:kind kind
(type->contract-fail typ prop))]) (type->contract-fail typ prop))])
(quasisyntax/loc (ignore-property ; should be ignored by the optimizer
stx (quasisyntax/loc
(define-values (n) stx
(recursive-contract (define-values (n)
cnt (recursive-contract
#,(contract-kind->keyword kind))))))] cnt
#,(contract-kind->keyword kind))))
#t)))]
[_ (int-err "should never happen - not a define-values: ~a" [_ (int-err "should never happen - not a define-values: ~a"
(syntax->datum stx))])) (syntax->datum stx))]))