~ chicken-core (chicken-5) 83cdf21f6b04a894dda8abd299d4c4cae070bc62

commit 83cdf21f6b04a894dda8abd299d4c4cae070bc62
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Thu Jun 30 03:30:47 2011 -0400
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Thu Jun 30 03:30:47 2011 -0400

    another comment

diff --git a/scrutinizer.scm b/scrutinizer.scm
index 58124d8c..5a9331ed 100755
--- a/scrutinizer.scm
+++ b/scrutinizer.scm
@@ -837,6 +837,10 @@
 						    (not (get db var 'assigned)) 
 						    (not oparg?))))
 				    (cond (pred
+					   ;;XXX we could add a blist entry for var in the other
+					   ;;    branch by subtracting pt from the current type
+					   ;;    of var, at least in the simple case of
+					   ;;    "(or ... <PT> ...)" -> "(or ... ...)"
 					   (d "  predicate `~a' indicates `~a' is ~a in flow ~a"
 					      pn var pt (car ctags))
 					   (add-to-blist