~ chicken-core (chicken-5) 9952a9bc4d240f1a9f4eeb8f5752360a55060193

commit 9952a9bc4d240f1a9f4eeb8f5752360a55060193
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Tue Jun 19 10:07:55 2012 +0200
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Tue Jun 19 10:07:55 2012 +0200

    trivial changes

diff --git a/manual/Extensions b/manual/Extensions
index 230b83f3..e5350d7b 100644
--- a/manual/Extensions
+++ b/manual/Extensions
@@ -170,7 +170,7 @@ a simple single-file extension. This is roughly equivalent to:
   
   (install-extension
    'ID
-   '("ID.o" "ID.so" "ID.import.so")
+   '("ID.so" "ID.import.so")
    '((version 1.0)
      ... `INFO' ...
      ))
diff --git a/types.db b/types.db
index 61a3dd1f..0d8b8d28 100644
--- a/types.db
+++ b/types.db
@@ -1202,8 +1202,6 @@
 (reverse-string-append (#(procedure #:clean #:enforce) reverse-string-append ((list-of string)) string))
 (shuffle deprecated)
 
-;;   (: sort (forall (e (s (or (vector-of e) (list-of e)))) (s (e e -> *) -> s)))
-;; if we had constraints for "forall"
 (sort
  (forall (e (s (or (vector-of e) (list-of e))))
 	 (#(procedure #:enforce)