From c6743b4423d4647bee53dd0c74ecac7b8f47249e Mon Sep 17 00:00:00 2001
From: Daniel Feltey <dfeltey@gmail.com>
Date: Sun, 13 Sep 2015 04:09:48 -0500
Subject: [PATCH] Don't expose require-typed-signature

---
 typed-racket-compatibility/typed/scheme/base.rkt             | 3 ++-
 .../typed-racket/scribblings/reference/legacy.scrbl          | 5 -----
 typed-racket-lib/typed/racket/base.rkt                       | 3 ++-
 3 files changed, 4 insertions(+), 7 deletions(-)

diff --git a/typed-racket-compatibility/typed/scheme/base.rkt b/typed-racket-compatibility/typed/scheme/base.rkt
index 1ff82eb3..813e11da 100644
--- a/typed-racket-compatibility/typed/scheme/base.rkt
+++ b/typed-racket-compatibility/typed/scheme/base.rkt
@@ -17,7 +17,8 @@
          (rename-in
            (except-in typed-racket/base-env/prims
              require-typed-struct
-             require/typed)
+             require/typed
+             require-typed-signature)
            (require-typed-struct-legacy require-typed-struct)
            (require/typed-legacy require/typed))
          typed-racket/base-env/base-types
diff --git a/typed-racket-doc/typed-racket/scribblings/reference/legacy.scrbl b/typed-racket-doc/typed-racket/scribblings/reference/legacy.scrbl
index 2103ba5b..8fb1756c 100644
--- a/typed-racket-doc/typed-racket/scribblings/reference/legacy.scrbl
+++ b/typed-racket-doc/typed-racket/scribblings/reference/legacy.scrbl
@@ -181,11 +181,6 @@ keyword with @racket[require/typed].}
 keyword with @racket[require/typed].}
 @defidform[require-typed-struct/provide]{Similar to
 @racket[require-typed-struct], but also provides the imported identifiers.}
-@defform[
-(require-typed-signature sig-name (id ...) (type ...) module)]{
-Similar to using the @racket[#:signature] keyword with @racket[require/typed].
-Signature variables are matched with their types positionally, the two lists
-must have the same length.}
 @defidform[pdefine:]{Defines a polymorphic function.}
 @defform[(pred t)]{Equivalent to @racket[(Any -> Boolean : t)].}
 
diff --git a/typed-racket-lib/typed/racket/base.rkt b/typed-racket-lib/typed/racket/base.rkt
index 37014066..4e7316ed 100644
--- a/typed-racket-lib/typed/racket/base.rkt
+++ b/typed-racket-lib/typed/racket/base.rkt
@@ -16,7 +16,8 @@
 (require typed-racket/base-env/extra-procs
          (except-in typed-racket/base-env/prims
            require-typed-struct-legacy
-           require/typed-legacy)
+           require/typed-legacy
+           require-typed-signature)
          typed-racket/base-env/base-types
          (except-in typed-racket/base-env/base-types-extra Distinction))
 (provide (rename-out [define-type-alias define-type])