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