From cf4a0338728e773f96ad1d516b9d414810dd3f70 Mon Sep 17 00:00:00 2001
From: AlexKnauth <alexander@knauth.org>
Date: Mon, 3 Aug 2015 18:18:02 -0500
Subject: [PATCH] fix issue #166

---
 typed-racket-more/typed/untyped-utils.rkt | 16 +++++++++-------
 typed-racket-test/succeed/issue-166.rkt   |  6 ++++++
 2 files changed, 15 insertions(+), 7 deletions(-)
 create mode 100644 typed-racket-test/succeed/issue-166.rkt

diff --git a/typed-racket-more/typed/untyped-utils.rkt b/typed-racket-more/typed/untyped-utils.rkt
index 20657b3b..89505c27 100644
--- a/typed-racket-more/typed/untyped-utils.rkt
+++ b/typed-racket-more/typed/untyped-utils.rkt
@@ -44,6 +44,7 @@
                     [(macro-name ...)  (generate-temporaries #'(name ...))]
                     [typed-module  (generate-temporary #'typed-module)]
                     [untyped-module  (generate-temporary #'untyped-module)]
+                    [*racket/base (datum->syntax #'from-module-spec 'racket/base)]
                     [*typed/racket/base (datum->syntax #'from-module-spec
                                                        'typed/racket/base)]
                     [*require (datum->syntax #'from-module-spec
@@ -53,18 +54,19 @@
            (module typed-module *typed/racket/base ; to bind in `T`s
              (*require typed/racket/base) ; to bind introduced `begin`, etc.
              (begin form ...)
-             (require (rename-in (only-in from-module-spec name ...)
-                                 [name untyped2-name] ...))
+             (require (only-in from-module-spec
+                               [name untyped2-name] ...))
              (provide untyped-name ...)
              (: untyped-name T) ...
              (define untyped-name untyped2-name) ...)
            
-           (module untyped-module racket/base
+           (module untyped-module *racket/base
+             (*require racket/base)
              (require typed/untyped-utils
-                      (rename-in (only-in from-module-spec name ...)
-                                 [name typed-name] ...)
-                      (rename-in (only-in (submod ".." typed-module) untyped-name ...)
-                                 [untyped-name untyped3-name] ...))
+                      (only-in from-module-spec
+                               [name typed-name] ...)
+                      (only-in (submod ".." typed-module)
+                               [untyped-name untyped3-name] ...))
              (provide macro-name ...)
              (define-typed/untyped-identifier macro-name typed-name untyped3-name) ...)
            
diff --git a/typed-racket-test/succeed/issue-166.rkt b/typed-racket-test/succeed/issue-166.rkt
new file mode 100644
index 00000000..e6160188
--- /dev/null
+++ b/typed-racket-test/succeed/issue-166.rkt
@@ -0,0 +1,6 @@
+#lang racket/base
+(require typed/untyped-utils)
+(require/untyped-contract
+ (submod typed/racket)
+ [identity (Integer -> Integer)])
+(void (identity 5))