From 7468ae4e3ceb8095e2884e1b7f699327a35c6088 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 19 Jul 2012 09:46:28 -0400 Subject: [PATCH] Document `Struct`. Merge to release. (cherry picked from commit a589d027511c3a609ffbda2efaaf394c2734c1bc) --- collects/typed-racket/scribblings/reference/types.scrbl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/typed-racket/scribblings/reference/types.scrbl b/collects/typed-racket/scribblings/reference/types.scrbl index 1638bcf2f3..3c02ec5a7c 100644 --- a/collects/typed-racket/scribblings/reference/types.scrbl +++ b/collects/typed-racket/scribblings/reference/types.scrbl @@ -444,6 +444,11 @@ recursive type in the body @racket[t] (define-type (List A) (Rec List (Pair A (U List Null))))]} +@defform[(Struct st)]{is a type which is a supertype of all instances of the +potentially-polymorphic structure type @racket[_st]. Note that structure +accessors for @racket[_st] will @emph{not} accept @racket[(Struct st)] as an +argument.} + @defalias[→ ->] @defalias[case→ case->] @defalias[∀ All]