From 63c203c7ea0f30cb0e24ad5073ee5c83029f4fca 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. original 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 1638bcf2..3c02ec5a 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]