~ chicken-core (chicken-5) ee9ccb8dbdce5dae2e11f88d17322fc23a0f87f1

commit ee9ccb8dbdce5dae2e11f88d17322fc23a0f87f1
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Sat Dec 10 22:24:57 2011 +0100
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Sat Dec 10 22:24:57 2011 +0100

    typo fix in Types manual chapter

diff --git a/manual/Types b/manual/Types
index c180a3e7..8a18448b 100644
--- a/manual/Types
+++ b/manual/Types
@@ -56,6 +56,7 @@ Declares that the global variable {{IDENTIFIER}} is of the given type.
 
 <syntax>(the TYPE EXPRESSION)</syntax>
 
+
 Equivalent to {{EXPRESSION}}, but declares that the result will be of the
 given type. Note that this form always declares the type of a single result,
 {{the}} can not be used to declare types for multiple result values. {{TYPE}}
@@ -160,7 +161,7 @@ or {{:}} should follow the syntax given below:
 
 Note that type-variables in {{forall}} types may be given "constraint" types, i.e.
 
-  (: sort (forall (e (s (or (vector e) (list-of e))))
+  (: sort (forall (e (s (or (vector-of e) (list-of e))))
             (s (e e -> *) -> s)))
 
 declares that {{sort}} is a procedure of two arguments, the first