Fix internal require of typed submodules.

collects/tests/typed-racket/succeed/internal-typed-submod.rkt

@@ -0,0 +1,11 @@
+#lang typed/racket
+ 
+(module zoo typed/racket
+  (provide tiger)
+  
+  (: tiger String)
+  (define tiger "Tony"))
+ 
+(require 'zoo)           
+ 
+tiger

collects/typed-racket/env/env-req.rkt

@@ -1,5 +1,5 @@
 #lang racket/base
-
+(require syntax/modcollapse)
 (define to-require null)
 (define (add-mod! m)
   (set! to-require (cons m to-require)))
@@ -8,6 +8,7 @@
   (parameterize ([current-namespace ns])
     (for ([m (in-list to-require)]
           #:when m)
-      (dynamic-require `(submod ,m #%type-decl) #f))))
+      (dynamic-require (collapse-module-path '(submod "." #%type-decl) m)
+                       #f))))
 
 (provide add-mod! do-requires)