From 9936e61c9a505ec6e45a203cb9a08bd15b9276ac Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 15 Apr 2008 22:37:20 +0000 Subject: [PATCH] Fix formatting for -> doc. Fixes PR 9297. svn: r9326 original commit: 5870e7261a805f02a3ec6a2d528dfd892bfa9850 --- collects/typed-scheme/typed-scheme.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/typed-scheme.scrbl b/collects/typed-scheme/typed-scheme.scrbl index 101ef3ff..2b5083e9 100644 --- a/collects/typed-scheme/typed-scheme.scrbl +++ b/collects/typed-scheme/typed-scheme.scrbl @@ -287,7 +287,7 @@ The following constructors are parameteric in their type arguments. @defform[(Pair s t)]{is the pair containing @scheme[s] as the @scheme[car] and @scheme[t] as the @scheme[cdr]} -@defform[(-> dom ... rng)]{is the type of functions from the (possibly-empty) +@defform[#:id -> (dom ... -> rng)]{is the type of functions from the (possibly-empty) sequence @scheme[dom ...] to the @scheme[rng] type.} @defform[(U t ...)]{is the union of the types @scheme[t ...]} @defform[(case-lambda fun-ty ...)]{is a function that behaves like all of