>From 844e94dc46686e03abde2e2e08d37c4828e00ec3 Mon Sep 17 00:00:00 2001 From: Peter Bex Date: Sat, 17 Mar 2012 20:54:40 +0100 Subject: [PATCH] Types database fix: for any x that's not #f, (not x) => #f so for non-booleans we can always just rewrite to #f --- tests/library-tests.scm | 1 + types.db | 2 +- 2 files changed, 2 insertions(+), 1 deletions(-) diff --git a/tests/library-tests.scm b/tests/library-tests.scm index 79a7369..b13b84f 100644 --- a/tests/library-tests.scm +++ b/tests/library-tests.scm @@ -5,6 +5,7 @@ ;; numbers +(assert (not (not 3))) (assert (= -4.0 (round -4.3))) (assert (= -4.0 (round -4.5))) ; R5RS (assert (= 4.0 (round 3.5))) diff --git a/types.db b/types.db index 465ba2b..be90225 100644 --- a/types.db +++ b/types.db @@ -51,7 +51,7 @@ ;; scheme (not (#(procedure #:pure) not (*) boolean) - (((not boolean)) (let ((#(tmp) #(1))) '#t))) + (((not boolean)) (let ((#(tmp) #(1))) '#f))) (boolean? (#(procedure #:pure #:predicate boolean) boolean? (*) boolean)) -- 1.7.9.1