Use #:empty-namespace to shrink zo sizes.

Author: samth

typed-racket-lib/typed-racket/base-env/base-contracted.rkt

@@ -31,6 +31,7 @@
 (begin-for-syntax
   (module* #%type-decl #f
     (#%plain-module-begin
+     (#%declare #:empty-namespace)
      (require typed-racket/env/global-env
               typed-racket/types/abbrev
               typed-racket/rep/type-rep)
@@ -46,6 +47,6 @@
 
 ;; we also have to manually add these submodules which extra-env-lang.rkt would do for us
 (begin-for-syntax
-  (module* #%contract-defs-names #f (#%plain-module-begin)))
-(module* #%contract-defs #f (#%plain-module-begin))
+  (module* #%contract-defs-names #f (#%plain-module-begin (#%declare #:empty-namespace))))
+(module* #%contract-defs #f (#%plain-module-begin (#%declare #:empty-namespace)))
 

typed-racket-lib/typed-racket/base-env/extra-env-lang.rkt

@@ -89,8 +89,9 @@
      #'(#%plain-module-begin
         ;; auto-generate these modules unless they are explicitly provided
         ;; use #%plain-module-begin to avoid adding add-mod! calls in them
-        (begin-for-syntax (module* #%contract-defs-names #f (#%plain-module-begin)))
-        (module* #%contract-defs #f (#%plain-module-begin))
+        (begin-for-syntax (module* #%contract-defs-names #f
+                            (#%plain-module-begin (#%declare #:empty-namespace))))
+        (module* #%contract-defs #f (#%plain-module-begin (#%declare #:empty-namespace)))
         (require (for-syntax typed-racket/env/env-req))
         e ...
         ;; need to register this module

typed-racket-lib/typed-racket/base-env/prims.rkt

@@ -141,6 +141,7 @@ the typed racket language.
 ;; contracted bindings in typed modules) values that are contracted
 ;; for _all_ typed programs.
 (module+ #%contract-defs
+  (#%declare #:empty-namespace)
   (require "base-contracted.rkt")
   (provide (all-from-out "base-contracted.rkt")))
 

typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt

@@ -526,6 +526,7 @@
             ;; We need a submodule for a for-syntax use of
             ;; `define-runtime-module-path`:
             (module #%contract-defs-reference racket/base
+              (#%declare #:empty-namespace)
               (require racket/runtime-path
                        (for-syntax racket/base))
               (define-runtime-module-path-index contract-defs-submod