~ chicken-core (chicken-5) 4be3ce7fb74c769c98cf1e995b428223b827b8ae

commit 4be3ce7fb74c769c98cf1e995b428223b827b8ae
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Wed Jun 15 07:58:56 2011 -0400
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Wed Jun 15 07:58:56 2011 -0400

    -specialize implies -scrutinize

diff --git a/batch-driver.scm b/batch-driver.scm
index be73a36c..963ae1b6 100644
--- a/batch-driver.scm
+++ b/batch-driver.scm
@@ -191,7 +191,8 @@
 	       (not a-only))
       (set! all-import-libraries #t))
     (set! enable-module-registration (not (memq 'no-module-registration options)))
-    (when (memq 'scrutinize options)
+    (when (or enable-specialization
+	      (memq 'scrutinize options))
       (set! do-scrutinize #t))
     (when (memq 't debugging-chicken) (##sys#start-timer))
     (when (memq 'b debugging-chicken) (set! time-breakdown #t))
diff --git a/manual/Using the compiler b/manual/Using the compiler
index 584bb8a4..f370fc3e 100644
--- a/manual/Using the compiler	
+++ b/manual/Using the compiler	
@@ -155,7 +155,7 @@ the source text should be read from standard input.
 
 ; -scrutinize : Enable simple flow-analysis to catch common type errors and argument/result mismatches. You can also use the {{scrutinize}} declaration to enable scrutiny.
 
-; -specialize : Enable simple flow-analysis for doing some type-directed optimizations.
+; -specialize : Enable simple flow-analysis for doing some type-directed optimizations. Implies {{-scrutinize}}.
 
 ; -strict-types : Assume that the type of variables is not changed by assignments. This gives more type-information during specialization, but violating this assumption will result in unsafe and incorrectly behaving code.