From ee7d9e61dd0428f6bf1c74a10ed4420fcbdf7768 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Wed, 9 Jun 2010 12:51:27 -0400
Subject: [PATCH] typed/racket/no-check

original commit: 30fe053f7842c14bf0e0471a69b3105f41903bee
---
 collects/typed-scheme/no-check/lang/reader.rkt      |  2 +-
 .../typed-scheme/scribblings/ts-reference.scrbl     | 13 ++++++++-----
 collects/typed/racket/base/no-check.rkt             |  4 ++++
 collects/typed/racket/base/no-check/lang/reader.rkt |  8 ++++++++
 collects/typed/racket/no-check.rkt                  |  4 ++++
 collects/typed/racket/no-check/lang/reader.rkt      |  8 ++++++++
 6 files changed, 33 insertions(+), 6 deletions(-)
 create mode 100644 collects/typed/racket/base/no-check.rkt
 create mode 100644 collects/typed/racket/base/no-check/lang/reader.rkt
 create mode 100644 collects/typed/racket/no-check.rkt
 create mode 100644 collects/typed/racket/no-check/lang/reader.rkt

diff --git a/collects/typed-scheme/no-check/lang/reader.rkt b/collects/typed-scheme/no-check/lang/reader.rkt
index c8265194..9448bbaf 100644
--- a/collects/typed-scheme/no-check/lang/reader.rkt
+++ b/collects/typed-scheme/no-check/lang/reader.rkt
@@ -5,4 +5,4 @@ typed-scheme/no-check
 #:read r:read
 #:read-syntax r:read-syntax
 
-(require (prefix-in r: "../../typed-reader.ss"))
+(require (prefix-in r: typed-scheme/typed-reader))
diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl
index 86b1680d..da763578 100644
--- a/collects/typed-scheme/scribblings/ts-reference.scrbl
+++ b/collects/typed-scheme/scribblings/ts-reference.scrbl
@@ -406,16 +406,19 @@ y
 
 @section{Typed Racket Syntax Without Type Checking}
 
-@defmodulelang[typed-scheme/no-check]
+@defmodulelang*[(typed/racket/no-check
+                 typed/racket/base/no-check)]
 
 On occasions where the Typed Racket syntax is useful, but actual
-typechecking is not desired, the @racketmodname[typed-scheme/no-check]
-language is useful.  It provides the same bindings and syntax as Typed
-Racket, but does no type checking.
+typechecking is not desired, the @racketmodname[typed/racket/no-check]
+and @racketmodname[typed/racket/base/no-check] languages are useful.
+They provide the same bindings and syntax as
+@racketmodname[typed/racket] and @racketmodname[typed/racket/base],
+but do no type checking.
 
 Examples:
 
-@racketmod[typed-scheme/no-check
+@racketmod[typed/racket/no-check
 (: x Number)
 (define x "not-a-number")]
 
diff --git a/collects/typed/racket/base/no-check.rkt b/collects/typed/racket/base/no-check.rkt
new file mode 100644
index 00000000..755a07f3
--- /dev/null
+++ b/collects/typed/racket/base/no-check.rkt
@@ -0,0 +1,4 @@
+#lang racket/base
+
+(require racket/require typed-scheme/no-check (subtract-in typed/racket/base typed-scheme/no-check))
+(provide (all-from-out typed/racket/base typed-scheme/no-check))
\ No newline at end of file
diff --git a/collects/typed/racket/base/no-check/lang/reader.rkt b/collects/typed/racket/base/no-check/lang/reader.rkt
new file mode 100644
index 00000000..af4b238d
--- /dev/null
+++ b/collects/typed/racket/base/no-check/lang/reader.rkt
@@ -0,0 +1,8 @@
+#lang s-exp syntax/module-reader
+
+typed/racket/base/no-check
+
+#:read r:read
+#:read-syntax r:read-syntax
+
+(require (prefix-in r: typed-scheme/typed-reader))
diff --git a/collects/typed/racket/no-check.rkt b/collects/typed/racket/no-check.rkt
new file mode 100644
index 00000000..eb8a3c78
--- /dev/null
+++ b/collects/typed/racket/no-check.rkt
@@ -0,0 +1,4 @@
+#lang racket/base
+
+(require racket/require typed-scheme/no-check (subtract-in typed/racket typed-scheme/no-check))
+(provide (all-from-out typed/racket typed-scheme/no-check))
\ No newline at end of file
diff --git a/collects/typed/racket/no-check/lang/reader.rkt b/collects/typed/racket/no-check/lang/reader.rkt
new file mode 100644
index 00000000..7d16e804
--- /dev/null
+++ b/collects/typed/racket/no-check/lang/reader.rkt
@@ -0,0 +1,8 @@
+#lang s-exp syntax/module-reader
+
+typed/racket/no-check
+
+#:read r:read
+#:read-syntax r:read-syntax
+
+(require (prefix-in r: typed-scheme/typed-reader))