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

deinprogramm: tweak files to make scribble happy

Browse Source
This commit is contained in:
Robby Findler 2011-05-28 09:02:53 -05:00
parent a94287a076
commit 060b4e9b32
4 changed files with 16 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/deinprogramm/DMdA-advanced.rkt
View File

@ -1,10 +1,8 @@
#lang deinprogramm/DMdA #lang deinprogramm/DMdA
(require syntax/docprovide) (require syntax/docprovide "DMdA-deflam.rkt")
(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction require lib planet (provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction require lib planet
let let* letrec let let* letrec lambda define
(rename-out (DMdA-advanced-lambda lambda))
(rename-out (DMdA-advanced-define define))
cond if else begin and or set! quote cond if else begin and or set! quote
define-record-procedures define-record-procedures-2 define-record-procedures define-record-procedures-2
define-record-procedures-parametric define-record-procedures-parametric-2 define-record-procedures-parametric define-record-procedures-parametric-2

6
collects/deinprogramm/DMdA-assignments.rkt
View File

@ -1,10 +1,8 @@
#lang deinprogramm/DMdA #lang deinprogramm/DMdA
(require syntax/docprovide) (require syntax/docprovide "DMdA-deflam.rkt")
(provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction require lib planet (provide #%app #%top (rename-out (DMdA-module-begin #%module-begin)) #%datum #%top-interaction require lib planet
let let* letrec let let* letrec lambda define
(rename-out (DMdA-advanced-lambda lambda))
(rename-out (DMdA-advanced-define define))
cond if else begin and or set! cond if else begin and or set!
define-record-procedures define-record-procedures-2 define-record-procedures define-record-procedures-2
define-record-procedures-parametric define-record-procedures-parametric-2 define-record-procedures-parametric define-record-procedures-parametric-2

10
collects/deinprogramm/DMdA-deflam.rkt Normal file
View File

@ -0,0 +1,10 @@
#lang deinprogramm/DMdA
;; this file exists so there is a single file that exports
;; identifiers named 'define' and 'lambda' that are the
;; assignments and advanced versions of 'define' and 'lambda',
;; so that we can tell scribble about this file and then it
;; can connect up the re-exports to the documentation properly.
(provide (rename-out (DMdA-advanced-lambda lambda))
(rename-out (DMdA-advanced-define define)))

2
collects/deinprogramm/scribblings/DMdA-assignments.scrbl
View File

@ -85,12 +85,14 @@ oder @scheme[write-string].
} }
@section[#:tag "advanced-definitions"]{Definitionen} @section[#:tag "advanced-definitions"]{Definitionen}
@declare-exporting[deinprogramm/DMdA-deflam]
@defform[(define id expr)]{Diese Form ist wie in den unteren @defform[(define id expr)]{Diese Form ist wie in den unteren
Sprachebenen, mit dem Unterschied, dass an @scheme[id] mit Sprachebenen, mit dem Unterschied, dass an @scheme[id] mit
@scheme[set!] zugewiesen werden kann.} @scheme[set!] zugewiesen werden kann.}
@section[#:tag "advanced-lambda"]{@scheme[lambda]} @section[#:tag "advanced-lambda"]{@scheme[lambda]}
@declare-exporting[deinprogramm/DMdA-deflam]
@defform[(lambda (id id ... . id) expr)]{Bei @scheme[lambda] ist in @defform[(lambda (id id ... . id) expr)]{Bei @scheme[lambda] ist in
dieser Sprachebene in einer Form zulässig, die es erlaubt, eine dieser Sprachebene in einer Form zulässig, die es erlaubt, eine