From d946fc3b79bb02e505221ee33af231379bc85ed8 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Wed, 8 Apr 2009 15:04:03 +0000
Subject: [PATCH] Document typed-scheme/no-check

svn: r14465

original commit: 95988f86a2c60eed0edfd4710b9064ea035efb62
---
 collects/typed-scheme/ts-reference.scrbl | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/collects/typed-scheme/ts-reference.scrbl b/collects/typed-scheme/ts-reference.scrbl
index c2982e25..9a3bde3a 100644
--- a/collects/typed-scheme/ts-reference.scrbl
+++ b/collects/typed-scheme/ts-reference.scrbl
@@ -294,3 +294,18 @@ Other libraries can be used with Typed Scheme via
                [check-version (-> (U Symbol (Listof Any)))])
 (check-version)
 ]
+
+@section{Typed Scheme Syntax Without Type Checking}
+
+@defmodulelang[typed-scheme/no-check]
+
+On occasions where the Typed Scheme syntax is useful, but actual
+typechecking is not desired, the @schememodname[typed-scheme/no-check]
+language is useful.  It provides the same bindings and syntax as Typed
+Scheme, but does no type checking.
+
+Examples:
+
+@schememod[typed-scheme/no-check
+(: x Number)
+(define x "not-a-number")]
\ No newline at end of file