~ chicken-core (chicken-5) cb10d7c6237dacb7d5dbfcc5549e93762d8945ca
commit cb10d7c6237dacb7d5dbfcc5549e93762d8945ca Author: felix <felix@call-with-current-continuation.org> AuthorDate: Thu Dec 15 15:15:48 2011 +0100 Commit: felix <felix@call-with-current-continuation.org> CommitDate: Thu Dec 15 15:15:48 2011 +0100 typo fix in manual diff --git a/manual/Types b/manual/Types index c180a3e7..1daee16f 100644 --- a/manual/Types +++ b/manual/Types @@ -160,7 +160,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 firstTrap