~ chicken-core (chicken-5) 714871dd8241c6b00c8e6eeb7c8f1e8e8445636d

commit 714871dd8241c6b00c8e6eeb7c8f1e8e8445636d
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Fri May 27 11:25:32 2011 +0200
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Fri May 27 11:25:32 2011 +0200

    corrected when type-checks are generated

diff --git a/manual/Types b/manual/Types
index 08af910d..038c1a5e 100644
--- a/manual/Types
+++ b/manual/Types
@@ -54,9 +54,8 @@ Declares that the global variable {{IDENTIFIER}} is of the given type.
 If {{IDENTIFIER}} names a {{define}}d toplevel procedure, then all
 required arguments are checked at runtime on procedure-entry whether
 they have the correct types (type for optional or "rest" arguments are
-currently not checked).  If the code is compiled with the
-{{-strict-types}} option or if it is compiled in unsafe mode, then no
-type-checks will be generated.
+currently not checked).  {{(declare (not escape IDENTIFIER))}}
+compiling the code in unsafe mode will not generate type-checks.
 
 
 ==== Type syntax