From b11e48fa935312a294877d4704aa1863d2c14a72 Mon Sep 17 00:00:00 2001 From: AlexKnauth Date: Wed, 13 May 2015 15:03:07 -0400 Subject: [PATCH] don't raise error for require/typed in module-begin context --- typed-racket-lib/typed-racket/base-env/prims-contract.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/base-env/prims-contract.rkt b/typed-racket-lib/typed-racket/base-env/prims-contract.rkt index 739f9408..2a525186 100644 --- a/typed-racket-lib/typed-racket/base-env/prims-contract.rkt +++ b/typed-racket-lib/typed-racket/base-env/prims-contract.rkt @@ -140,7 +140,7 @@ (define ((r/t-maker legacy) stx) - (unless (unbox typed-context?) + (unless (or (unbox typed-context?) (eq? (syntax-local-context) 'module-begin)) (raise-syntax-error #f "only allowed in a typed module" stx)) (syntax-parse stx [(_ lib:expr (~var c (clause legacy #'lib)) ...)