From d000567b7959659e5aea78cbc65369d0083616e6 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 29 Aug 2011 12:01:16 -0400 Subject: [PATCH] Improve formatting of reference docs for reader abbreviations. --- .../scribblings/reference/special-forms.scrbl | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/collects/typed-scheme/scribblings/reference/special-forms.scrbl b/collects/typed-scheme/scribblings/reference/special-forms.scrbl index 39e10ee10b..2328f29a91 100644 --- a/collects/typed-scheme/scribblings/reference/special-forms.scrbl +++ b/collects/typed-scheme/scribblings/reference/special-forms.scrbl @@ -291,13 +291,14 @@ can be used anywhere a definition form may be used. @defform[(provide: [v t] ...)]{This declares that the @racket[v]s have the types @racket[t], and also provides all of the @racket[v]s.} -@defform/none[@litchar|{ #{v : t} }|]{ This declares that the variable @racket[v] has type +@defform/none[#{v : t}]{ This declares that the variable @racket[v] has type @racket[t]. This is legal only for binding occurrences of @racket[_v].} @defform[(ann e t)]{Ensure that @racket[e] has type @racket[t], or some subtype. The entire expression has type @racket[t]. -This is legal only in expression contexts. The syntax @litchar{#{e :: t}} may -also be used.} +This is legal only in expression contexts.} + +@defform/none[#{e :: t}]{A reader abbreviation for @racket[(ann e t)].} @defform[(inst e t ...)]{Instantiate the type of @racket[e] with types @racket[t ...]. @racket[e] must have a polymorphic type with the @@ -309,10 +310,9 @@ contexts. (define (fold-list lst) (foldl (inst cons A A) null lst)) - (fold-list (list "1" "2" "3" "4"))] + (fold-list (list "1" "2" "3" "4"))]} -The syntax @litchar|{#{e @ t ...}}| may also be used. -} +@defform/none[#{e |@| t ...}]{A reader abbreviation for @racket[(inst e t ...)].} @section{Require}