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

fix HtDP require so that it correctly binds fo lib and planet paths

Browse Source 
svn: r6120
This commit is contained in:
Matthew Flatt 2007-05-02 22:40:48 +00:00
parent e4b7d760d5
commit 448cba2fb5
2 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/lang/private/teach.ss
View File

@ -1171,7 +1171,9 @@
(something-else v)))
(check-string-form stx v))
s)
#'(require (lib . rest)))]
;; use the original `lib', so that it binds correctly:
(syntax-case stx ()
[(_ ms) #'(require ms)]))]
[(_ (planet . rest))
(syntax-case stx (planet)
[(_ (planet s1 (s2 s3 n1 n2)))
@ -1184,7 +1186,9 @@
(check-string-form stx #'s1)
(check-string-form stx #'s2)
(check-string-form stx #'s3)
#'(require (planet . rest)))]
;; use the original `planet', so that it binds correctly:
(syntax-case stx ()
[(_ ms) #'(require ms)]))]
[_else
(teach-syntax-error
'require

5
collects/tests/mzscheme/beg-adv.ss
View File

@ -217,6 +217,11 @@
(htdp-top-pop 1)
(htdp-teachpack-pop)
;; Check require
(htdp-top (require (lib "unit.ss" "mzlib")))
(htdp-test #f unit? 12)
(htdp-top-pop 1)
;; Error messages
(htdp-top (define my-x 5))
(htdp-top (define (my-f x) (+ x 5)))