[PATCH] Patch that triggers internal taint error

---
 .../typed-racket-lib/typed-racket/base-env/prims.rkt              |    5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
index 548bfe4..d3a8b53 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
@@ -593,7 +593,10 @@ This file defines two sorts of primitives. All of them are provided into any mod
                                        nm.old-spec (fs ...)
                                        #:maker #,cname
                                        #, at mutable?))])
-            #'(begin d-s dtsi)))]))))
+            (if (eq? (syntax-local-context) 'top-level)
+                #'(begin (module a typed/racket d-s dtsi)
+                         (eval '(require 'a)))
+                #'(begin d-s dtsi))))]))))
 
 
 ;Copied from racket/private/define-struct
-- 
1.7.10.4


--fOHHtNG4YXGJ0yqR--