From c6b1f8fdc074a52c05fd2a133d1d4807994f129a Mon Sep 17 00:00:00 2001 From: Alex Knauth Date: Sat, 9 May 2015 06:07:20 -0400 Subject: [PATCH] syntax error for require/typed in untyped code --- typed-racket-lib/typed-racket/base-env/prims-contract.rkt | 2 ++ 1 file changed, 2 insertions(+) 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 9668205b..739f9408 100644 --- a/typed-racket-lib/typed-racket/base-env/prims-contract.rkt +++ b/typed-racket-lib/typed-racket/base-env/prims-contract.rkt @@ -140,6 +140,8 @@ (define ((r/t-maker legacy) stx) + (unless (unbox typed-context?) + (raise-syntax-error #f "only allowed in a typed module" stx)) (syntax-parse stx [(_ lib:expr (~var c (clause legacy #'lib)) ...) (when (zero? (syntax-length #'(c ...)))