From 238e76b63f2dc0dd7c24b3a9a23a08f299d007f5 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 11 Mar 2015 13:16:51 -0400 Subject: [PATCH] Update struct docs for #:prefab --- .../scribblings/reference/special-forms.scrbl | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl b/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl index 179804a2..3a7a4fdc 100644 --- a/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl +++ b/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl @@ -377,7 +377,7 @@ those functions. (struct maybe-type-vars name-spec ([f : t] ...) options ...) ([maybe-type-vars code:blank (v ...)] [name-spec name (code:line name parent)] - [options #:transparent #:mutable])]{ + [options #:transparent #:mutable #:prefab])]{ Defines a @rtech{structure} with the name @racket[name], where the fields @racket[f] have types @racket[t], similar to the behavior of @|struct-id| from @racketmodname[racket/base]. @@ -390,7 +390,12 @@ parent type is instantiated with a prefix of the type variables matching the amount it needs. Options provided have the same meaning as for the @|struct-id| form -from @racketmodname[racket/base].} +from @racketmodname[racket/base]. + +A prefab structure type declaration will bind the given @racket[name] to a +@racket[Prefab] type. Unlike in @racketmodname[racket/base], a non-prefab +structure type cannot extend a prefab structure type. +} @defform/subs[