From 603d02ac1736a5b8a6beb987d854d1dc6d74f5bb Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 3 Jul 2006 17:27:24 +0000 Subject: [PATCH] fix default case sensitivity of 'restarted' MzScheme svn: r3584 --- collects/mzlib/restart.ss | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/mzlib/restart.ss b/collects/mzlib/restart.ss index dda744d5f6..64f9c29e4b 100644 --- a/collects/mzlib/restart.ss +++ b/collects/mzlib/restart.ss @@ -12,7 +12,7 @@ [no-coll-paths? #f] [no-init-file? #f] [no-define-argv? #f] - [case-sensitive? #f] + [case-sensitive? #t] [allow-set!-undefined? #t] [print-error (lambda (e) @@ -103,6 +103,9 @@ [("-g" "--case-sens") ,(lambda (f) (set! case-sensitive? #t)) ("Identifiers and symbols are initially case-sensitive")] + [("-G" "--case-insens") + ,(lambda (f) (set! case-sensitive? #f)) + ("Identifiers and symbols are initially case-insensitive")] [("-s" "--set-undef") ,(lambda (f) (set! allow-set!-undefined? #t)) ("Set! works on undefined identifiers")]