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

HtDP language docs: fix context of defined bindings

Browse Source 
Uses the new `#:id' option in `defproc'.
This commit is contained in:
Matthew Flatt 2012-06-25 23:25:58 -06:00
parent 6028a60f65
commit b38bf09e4e
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/lang/private/provide-and-scribble.rkt
View File

@ -45,7 +45,11 @@
(define name* (syntax->list #'(name ...))) (define name* (syntax->list #'(name ...)))
(values (cons (lambda () ;; delay the syntax creation until add-sections is set (values (cons (lambda () ;; delay the syntax creation until add-sections is set
(with-syntax ([(ex ...) (extract-external-name name*)]) (with-syntax ([(ex ...) (extract-external-name name*)])
#`(#,*add title (list (cons #'ex (defproc (ex args ...) range w ...)) ...)))) #`(#,*add title (list (cons #'ex
(lambda (c)
(defproc #:id [ex (datum->syntax c 'ex)]
(ex args ...) range w ...)))
...))))
add-docs-and-provide) add-docs-and-provide)
(cons #`(provide #,@(optional-rename-out name*)) (cons #`(provide #,@(optional-rename-out name*))
provides))]))) provides))])))
@ -124,9 +128,8 @@
(cons @section[#:tag-prefix p]{@section-title} (cons @section[#:tag-prefix p]{@section-title}
(cons typed others))])) (cons typed others))]))
;; this is not going to work
(define (re-context c id defproc) (define (re-context c id defproc)
defproc) (defproc c))
;; ;;
(define (docs . exceptions) (define (docs . exceptions)