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

Allow TR contracts to be turned on with an env variable.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2014-05-06 16:23:56 -04:00
parent c324854e0e
commit 3c78f7a0c8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/utils.rkt
View File

@ -20,7 +20,7 @@ at least theoretically.
rep utils typecheck infer env private types static-contracts) rep utils typecheck infer env private types static-contracts)
(define optimize? (make-parameter #t)) (define optimize? (make-parameter #t))
(define-for-syntax enable-contracts? #f) (define-for-syntax enable-contracts? (and (getenv "PLT_TR_CONTRACTS") #t))
(define-syntax do-contract-req (define-syntax do-contract-req
(if enable-contracts? (if enable-contracts?
@ -198,5 +198,5 @@ at least theoretically.
#:property prop:procedure #:property prop:procedure
(lambda (ins stx) (lambda (ins stx)
(self-ctor-transformer (struct-info-self-ctor-id ins) stx)) (self-ctor-transformer (struct-info-self-ctor-id ins) stx))
#:property prop:struct-info (lambda (x) (extract-struct-info (struct-info-self-ctor-info x)))) #:property prop:struct-info (λ (x) (extract-struct-info (struct-info-self-ctor-info x))))
struct-info-self-ctor)) struct-info-self-ctor))