From 828da18122f337ec3b5acc542796fe28c24e0795 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 10 Nov 2013 07:21:57 -0600 Subject: [PATCH] adjust struct-out docs to avoid 'name' and to have a better width --- .../racket-doc/scribblings/reference/contracts.scrbl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl b/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl index 69f7c83ef9..51db37c655 100644 --- a/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl +++ b/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl @@ -1174,8 +1174,8 @@ earlier fields.}} #:literals (struct rename) (contract-out p/c-item ...) ([p/c-item - (struct id ((id contract-expr) ...) struct-option) - (struct (id identifier) ((id contract-expr) ...) struct-option) + (struct id/super ((id contract-expr) ...) + struct-option) (rename orig-id id contract-expr) (id contract-expr) (code:line #:∃ poly-variables) @@ -1184,6 +1184,8 @@ earlier fields.}} (code:line #:forall poly-variables)] [poly-variables identifier (identifier ...)] + [id/super id + (id super-id)] [struct-option (code:line) #:omit-constructor])]{