From fe68c9ab8174fc041cad78004ad433f15c8bc2bf Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 8 Feb 2015 06:49:53 -0700 Subject: [PATCH] fix docs again on `struct` in `racket/signature` The repair of 7bfe2eadab wasn't right; the `struct` form is treated correctly in `define-signature`, but not in `racket/signature`. --- pkgs/racket-doc/scribblings/reference/units.scrbl | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/pkgs/racket-doc/scribblings/reference/units.scrbl b/pkgs/racket-doc/scribblings/reference/units.scrbl index 8a55ce1b9e..0a244a281a 100644 --- a/pkgs/racket-doc/scribblings/reference/units.scrbl +++ b/pkgs/racket-doc/scribblings/reference/units.scrbl @@ -222,7 +222,7 @@ of bindings for import or export: specified by @racket[sig-spec].} @item{Each @racket[(struct id (field ...) struct-option ...)] adds - all of the identifiers that would be bound by @racket[(define-struct id + all of the identifiers that would be bound by @racket[(struct id (field ...) field-option ...)], where the extra option @racket[#:omit-constructor] omits the constructor identifier.} @@ -782,7 +782,6 @@ Unlike the body of a @racketmodname[racket/unit] module, a @racket[require] in a @racketmodname[racket/signature] module must be a literal use of @racket[require]. - The resulting signature is exported as @racket[_base]@racketidfont["^"], where @racket[_base] is derived from the enclosing module's name (i.e., its symbolic name, or its path @@ -791,6 +790,11 @@ without the directory and file suffix). If the module name ends in name before @racketidfont{-sig}. Otherwise, the module name serves as @racket[_base]. +A @racket[struct] form as a @racket[sig-spec] is consistent with the +definitions introduced by @racket[define-struct], as opposed to +definitions introduced @racket[struct]. (That behavior was originally +a bug, but it is preserved for compatibility.) + @; ---------------------------------------------------------------------- @section{Transformer Helpers}