~ chicken-core (chicken-5) bce4666c3b5efd6db0d6a90da863cf2fd66a63ff

commit bce4666c3b5efd6db0d6a90da863cf2fd66a63ff
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Fri Sep 2 09:20:22 2011 +0200
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Fri Sep 2 09:20:22 2011 +0200

    added note in types.db

diff --git a/types.db b/types.db
index a9a5f284..3350b5a3 100644
--- a/types.db
+++ b/types.db
@@ -34,6 +34,11 @@
 ;   all remaining arguments
 ; - in templates "#(SYMBOL)" binds X to a temporary gensym'd variable, further references
 ;   to "#(SYMBOL)" allow backreferences to this generated identifier
+; - "#(procedure PROPERTY ...)" may be used in place of "procedure", properties are:
+;     #:clean
+;     #:enforce
+;     #:predicate TYPE
+;     #:pure
 ; - "#:clean" means: will not invoke procedures that modify local variables and
 ;   will not modify list or vector data held locally (note that I/O may invoke
 ;   port handlers)