suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix default case sensitivity of 'restarted' MzScheme

Browse Source 
svn: r3584
This commit is contained in:
Matthew Flatt 2006-07-03 17:27:24 +00:00
parent c71bffa4bd
commit 603d02ac17
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/mzlib/restart.ss
View File

@ -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")]