~ chicken-core (chicken-5) 44d5788689c995065c5fbd5cf6016454d161dc05
commit 44d5788689c995065c5fbd5cf6016454d161dc05
Author: felix <felix@call-with-current-continuation.org>
AuthorDate: Fri Aug 26 13:52:38 2011 +0200
Commit: felix <felix@call-with-current-continuation.org>
CommitDate: Fri Aug 26 13:52:38 2011 +0200
bugfix for noreturn result detection
diff --git a/scrutinizer.scm b/scrutinizer.scm
index 6f7fbd76..ea53599d 100755
--- a/scrutinizer.scm
+++ b/scrutinizer.scm
@@ -1444,10 +1444,10 @@
(case (car ptype)
((procedure)
(and (list? ptype)
- (eq? '(noreturn)
- (if (pair? (second ptype))
- (cddr ptype)
- (cdddr ptype)))))
+ (equal? '(noreturn)
+ (if (pair? (second ptype))
+ (cddr ptype)
+ (cdddr ptype)))))
((forall)
(noreturn-procedure-type? (third ptype)))
(else #f))))
Trap