~ chicken-core (chicken-5) 05a5cd856bc739a3d7156513fa80ad88ff2e3b97

commit 05a5cd856bc739a3d7156513fa80ad88ff2e3b97
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Sat Apr 7 12:18:38 2012 +0200
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Sat Apr 7 12:18:38 2012 +0200

    reduce already simplified types when folding procedure-type set (and don't drop initial)

diff --git a/scrutinizer.scm b/scrutinizer.scm
index b6c78319..782cd607 100755
--- a/scrutinizer.scm
+++ b/scrutinizer.scm
@@ -1273,7 +1273,7 @@
 				      (list (merge-argument-types atypes1 atypes2))
 				      (merge-result-types rtypes1 rtypes2))))
 				 #f
-				 (cdr t))))
+				 ts)))
 			   ((lset= eq? '(fixnum float) ts) 'number)
 			   (else
 			    (let* ((ts (append-map