syntax error for require/typed in untyped code

2015-05-09 06:07:20 -04:00 · 2015-05-09 06:07:20 -04:00 · c6b1f8fdc0
commit c6b1f8fdc0
parent 3a70ed5669
1 changed files with 2 additions and 0 deletions
--- 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 ...)))