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

Unbreak printing in DMdA.

Browse Source 
Fix the the name by which the HtDP and DMdA languages refer to the
signatures module, making sure everybody sees the same properties.
This commit is contained in:
Mike Sperber 2010-11-10 07:32:52 +01:00
parent c7d67f9bab
commit 69b858a7f5
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/deinprogramm/deinprogramm-langs.rkt
View File

@ -170,7 +170,7 @@
[scheme-test-module-name
((current-module-name-resolver) '(lib "test-engine/scheme-tests.ss") #f #f)]
[scheme-signature-module-name
((current-module-name-resolver) '(lib "deinprogramm/signature/signature.ss") #f #f)])
((current-module-name-resolver) '(lib "deinprogramm/signature/signature-german.rkt") #f #f)])
(run-in-user-thread
(lambda ()
(when (getenv "PLTDRHTDPNOCOMPILED") (use-compiled-file-paths '()))

2
collects/lang/htdp-langs.rkt
View File

@ -139,7 +139,7 @@
[scheme-test-module-name
((current-module-name-resolver) '(lib "test-engine/scheme-tests.ss") #f #f)]
[scheme-signature-module-name
((current-module-name-resolver) '(lib "deinprogramm/signature/signature.ss") #f #f)])
((current-module-name-resolver) '(lib "deinprogramm/signature/signature-english.rkt") #f #f)])
(run-in-user-thread
(lambda ()
(when (getenv "PLTDRHTDPNOCOMPILED") (use-compiled-file-paths '()))