~ chicken-core (chicken-5) 4aabc9b303706b080206ef394cda3ccf7105c139

commit 4aabc9b303706b080206ef394cda3ccf7105c139
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Wed Aug 24 10:36:22 2011 +0200
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Wed Aug 24 10:36:22 2011 +0200

    trying out new procedure type format

diff --git a/types.db b/types.db
index b63ee14f..abfa0e11 100644
--- a/types.db
+++ b/types.db
@@ -61,7 +61,7 @@
 
 (pair? (procedure? pair pair? (*) boolean))
 
-(cons (forall (a b) (procedure cons (a b) (pair a b))))
+(cons (forall (a b) (#(procedure pure enforce) cons (a b) (pair a b))))
 
 (##sys#cons (forall (a b) (procedure ##sys#cons (a b) (pair a b))))