From 5c5934c98b52bce25b5e9b0f2ea59193a61b410d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 16 Sep 2008 22:26:34 +0000 Subject: [PATCH] Documentation for define-struct: svn: r11781 original commit: 6d228898ee571979a45e1ac6d35e936ad9a76d4d --- collects/typed-scheme/typed-scheme.scrbl | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/collects/typed-scheme/typed-scheme.scrbl b/collects/typed-scheme/typed-scheme.scrbl index d8228099..70161835 100644 --- a/collects/typed-scheme/typed-scheme.scrbl +++ b/collects/typed-scheme/typed-scheme.scrbl @@ -523,6 +523,10 @@ types. In most cases, use of @scheme[:] is preferred to use of @scheme[define:] (define-struct: (name parent) ([f : t] ...)) (define-struct: (v ...) name ([f : t] ...)) (define-struct: (v ...) (name parent) ([f : t] ...))]] +{Defines a @rtech{structure} with the name @scheme[name], where the fields + @scheme[f] have types @scheme[t]. The second and fourth forms define @scheme[name] + to be a substructure of @scheme[parent]. The last two forms define structures that + are polymorphic in the type variables @scheme[v].} @subsection{Type Aliases} @defform*[[(define-type-alias name t)