~ chicken-core (chicken-5) 1a09519edcbdc916700087810ccc692f406bd955

commit 1a09519edcbdc916700087810ccc692f406bd955
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Thu Jun 30 02:56:44 2011 -0400
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Thu Jun 30 02:56:44 2011 -0400

    added note

diff --git a/scrutinizer.scm b/scrutinizer.scm
index 36e3b566..58124d8c 100755
--- a/scrutinizer.scm
+++ b/scrutinizer.scm
@@ -778,6 +778,7 @@
 			  (debugging '|I| (sprintf "(: ~s ~s)" var rt))
 			  ;; [2] sets property, but lambda has already been walked,
 			  ;; so no type-checks are generated (see also [1], above)
+			  ;; note that implicit declarations are not enforcing
 			  (mark-variable var '##compiler#declared-type)
 			  (mark-variable var '##compiler#type rt))))
 		    (when b