~ chicken-core (chicken-5) 4c46a5f58ab4c9e4effc985606789915db2ebfd9
commit 4c46a5f58ab4c9e4effc985606789915db2ebfd9 Author: felix <felix@call-with-current-continuation.org> AuthorDate: Mon Sep 26 13:18:35 2011 +0200 Commit: felix <felix@call-with-current-continuation.org> CommitDate: Mon Sep 26 13:18:35 2011 +0200 fixed incorrect generalization of simple list/vector types diff --git a/scrutinizer.scm b/scrutinizer.scm index 3f9ebfd3..d74a1d04 100755 --- a/scrutinizer.scm +++ b/scrutinizer.scm @@ -1409,7 +1409,8 @@ (test t1 (third e))))))) ((memq t2 '(* undefined))) ((eq? 'pair t1) (test '(pair * *) t2)) - ((memq t1 '(vector list)) (test `(,t1 *) t2)) + ((eq? 'vector t1) (test '(vector-of *) t2)) + ((eq? 'list t1) (test '(list-of *) t2)) ((and (eq? 'null t1) (pair? t2) (eq? (car t2) 'list-of)))Trap