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

Add begin-for-cond-contract

Browse Source
This commit is contained in:
Asumu Takikawa 2015-10-31 04:14:22 -04:00
parent 0be2156521
commit 47ba1391f5
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
typed-racket-lib/typed-racket/utils/utils.rkt
View File

@ -100,7 +100,8 @@ at least theoretically.
define/cond-contract/provide
define-for-cond-contract
provide-for-cond-contract
require-for-cond-contract)
require-for-cond-contract
begin-for-cond-contract)
(define-require-syntax contract-req
(if enable-contracts?
@ -126,6 +127,12 @@ at least theoretically.
(syntax-parser
[(_ require-spec:expr ...) #'(begin)])))
(define-syntax begin-for-cond-contract
(if enable-contracts?
(make-rename-transformer #'begin)
(syntax-parser
[(_ e:expr ...) #'(begin)])))
(define-syntax-rule (define/cond-contract/provide (name . args) c . body)
(begin (define/cond-contract name c