~ chicken-core (chicken-5) 7835cba04da1267823c7ad1d19b4de54d378bad3
commit 7835cba04da1267823c7ad1d19b4de54d378bad3 Author: felix <felix@call-with-current-continuation.org> AuthorDate: Fri May 20 12:32:40 2011 +0200 Commit: felix <felix@call-with-current-continuation.org> CommitDate: Fri May 20 12:32:40 2011 +0200 trivial changes diff --git a/support.scm b/support.scm index 97cad819..da613988 100644 --- a/support.scm +++ b/support.scm @@ -546,7 +546,7 @@ (else (make-node '##core#call (list #f) (map walk x))) ) ) (let ([exp2 (walk exp)]) (when (positive? count) - (debugging 'o "eliminated procedure checks" count)) + (debugging 'o "eliminated procedure checks" count)) ;XXX perhaps throw this out exp2) ) ) (define (build-expression-tree node) diff --git a/types.db b/types.db index 98a1a38d..ed0eb70b 100644 --- a/types.db +++ b/types.db @@ -37,6 +37,9 @@ ; but declares the procedure as "argument-type enforcing" +;;XXX use some other name than "predicate" ("#%predicate" ?) + + ;; scheme (not (procedure not (*) boolean)Trap