From 47ba1391f5778033f99c23b1039be3f13ac644b2 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Sat, 31 Oct 2015 04:14:22 -0400 Subject: [PATCH] Add `begin-for-cond-contract` --- typed-racket-lib/typed-racket/utils/utils.rkt | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/utils/utils.rkt b/typed-racket-lib/typed-racket/utils/utils.rkt index 1a560dbe..a41a61fa 100644 --- a/typed-racket-lib/typed-racket/utils/utils.rkt +++ b/typed-racket-lib/typed-racket/utils/utils.rkt @@ -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