~ chicken-core (chicken-5) 11a2ffeda295f6eeb747e220ea08073b55755524
commit 11a2ffeda295f6eeb747e220ea08073b55755524
Author: felix <felix@call-with-current-continuation.org>
AuthorDate: Sat Feb 5 15:53:10 2011 +0100
Commit: felix <felix@call-with-current-continuation.org>
CommitDate: Sat Feb 5 15:53:10 2011 +0100
fixed wilrdcard type-comparison for 'not'
diff --git a/scrutinizer.scm b/scrutinizer.scm
index e9b6ded5..e990a4d3 100755
--- a/scrutinizer.scm
+++ b/scrutinizer.scm
@@ -703,9 +703,10 @@
(if (pair? st)
(case (car st)
((not)
- (if (and (pair? t) (eq? 'or (car t)))
- (not (any (cute match (cadr st) <>) (cdr t)))
- (not (match (cadr st) t))))
+ (cond ((and (pair? t) (eq? 'or (car t)))
+ (not (any (cute match (cadr st) <>) (cdr t))))
+ ((eq? '* t) #f)
+ (else (not (match (cadr st) t)))))
((or) (any (cut match <> t) (cdr st)))
(else (equal? st t)))
(eq? st t)))
Trap