From 650cd264b3358fcf7b7e522be695f99a054081aa Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Mon, 14 Sep 2009 14:42:52 +0000 Subject: [PATCH] Brush up the (commented-out) documentation of `require' for the DMdA languages. svn: r16002 --- collects/deinprogramm/scribblings/DMdA-beginner.scrbl | 5 +++++ collects/deinprogramm/scribblings/std-grammar.ss | 1 + 2 files changed, 6 insertions(+) diff --git a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl index bad86225f9..5f3dd4308c 100644 --- a/collects/deinprogramm/scribblings/DMdA-beginner.scrbl +++ b/collects/deinprogramm/scribblings/DMdA-beginner.scrbl @@ -382,6 +382,11 @@ Dann ist @scheme[(pare integer string)] der Vertrag für @; ein @litchar{/} am Anfang oder Ende enthalten.} @; @; +@; @defform/none[#:literals (require) +@; (require module-id)]{ +@; +@; Diese Form macht eine eingebaute Library mit dem Namen @scheme[module-id] verfügbar.} +@; @; @defform/none[#:literals (require lib) @; (require (lib string string ...))]{ @; diff --git a/collects/deinprogramm/scribblings/std-grammar.ss b/collects/deinprogramm/scribblings/std-grammar.ss index 719798ad17..7ccb1f7bc8 100644 --- a/collects/deinprogramm/scribblings/std-grammar.ss +++ b/collects/deinprogramm/scribblings/std-grammar.ss @@ -68,6 +68,7 @@ @#,scheme[(check-property expr)]] #;(... [library-require @#,scheme[(require string)] + @#,scheme[(require module-id)] @#,scheme[(require (lib string string ...))] @#,scheme[(require (planet string package))]]) (...