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

Fix documentation link for provide in eopl (mzscheme => racket).

Browse Source 
Closes PR12681.
This commit is contained in:
David Van Horn 2012-04-05 23:24:43 -04:00
parent e26201b4f6
commit f6a8024aed
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/eopl/eopl.rkt
View File

@ -141,7 +141,7 @@
empty ;; for constructor-based printing empty ;; for constructor-based printing
trace untrace ;; debugging trace untrace ;; debugging
require module ;; we allow full use of modules require module ;; we allow full use of modules
only-in only-in
prefix-in prefix-in
provide ;; in case someone wants to use a module provide ;; in case someone wants to use a module
all-defined-out all-defined-out

10
collects/eopl/eopl.scrbl
View File

@ -6,11 +6,11 @@
scheme/contract scheme/contract
(only-in scheme printf pretty-print delay force))) (only-in scheme printf pretty-print delay force)))
@(define-syntax-rule (def-mz id) @(define-syntax-rule (def-rkt id)
(begin (begin
(require (for-label mzscheme)) (require (for-label racket))
(define id (racket provide)))) (define id (racket provide))))
@(def-mz mzscheme-provide) @(def-rkt racket-provide)
@(define-syntax-rule (reprovide id ...) @(define-syntax-rule (reprovide id ...)
(*threecolumns (list (racket id) ... 'nbsp 'nbsp))) (*threecolumns (list (racket id) ... 'nbsp 'nbsp)))
@ -204,8 +204,8 @@ The following bindings are re-@racket[provide]d from
@defform[(provide provide-spec ...)]{ @defform[(provide provide-spec ...)]{
Useful only with a module that uses @racketmodname[eopl] as a Useful only with a module that uses @racketmodname[eopl] as a
language: exports identifiers from the module. See @mzscheme-provide language: exports identifiers from the module. See @racket-provide
from @racketmodname[mzscheme] for more information.} from @racketmodname[racket] for more information.}
@defthing[eopl:error-stop (-> any/c)]{ @defthing[eopl:error-stop (-> any/c)]{