www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 7dd277e814d301100919b2286f163823abf6e359
parent 8a3f3f5e38d2463a5b08e57b50f6ae4d82ada502
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Mon, 26 Sep 2016 13:03:09 -0400

docs: add extends and reuse

Diffstat:
Mturnstile/scribblings/reference.scrbl | 18+++++++++++++++++-
1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/turnstile/scribblings/reference.scrbl b/turnstile/scribblings/reference.scrbl @@ -171,7 +171,23 @@ Turnstile pre-declares @racket[(define-syntax-category type)], which in turn ] } -@section{Lower-level functions} +@section{@racket[require] and @racket[provide]-like Forms} + +@defform[(extends base-lang option ...) + #:grammar + ([option (code:line #:except id ...) + (code:line #:rename [old new] ...)])]{ +Requires all forms from @racket[base-lang] and reexports them. Tries to + automatically handle conflicts for commonly used forms like @racket[#%app]. +The imported names are available for use in the current module, with a + @tt{base-lang:} prefix.} +@defform[(reuse name ... #:from base-lang) + #:grammar + ([name id + [old new]])]{ +Reuses @racket[name]s from @racket[base-lang].} + +@section{Lower-level Functions} This section describes lower-level functions. It's usually not necessary to call these directly, since @racket[define-typed-syntax] and other forms already do so.