From 46bcdf9924ed08f0ce5f3e358a27e7f6445d126c Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Sat, 17 Jan 2009 22:44:09 +0000 Subject: [PATCH] I thought I'd already made this change to the documentation, but perhaps I didn't commit it after all. svn: r13191 --- collects/scribblings/reference/units.scrbl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/scribblings/reference/units.scrbl b/collects/scribblings/reference/units.scrbl index a37eddce0d..d3d7d853eb 100644 --- a/collects/scribblings/reference/units.scrbl +++ b/collects/scribblings/reference/units.scrbl @@ -150,7 +150,7 @@ the corresponding import. Each @scheme[tagged-sig-id] in an @scheme[import] clause.} @defform/subs[ -#:literals (define-syntaxes define-values open extends) +#:literals (define-syntaxes define-values open extends contracted) (define-signature id extension-decl (sig-elem ...)) @@ -214,6 +214,7 @@ the extended signature. Furthermore, any implementation of the new signature can be used as an implementation of the extended signature.} @defkeywords[[(open sig-spec) _sig-elem define-signature] + [(contracted [id contract] ...) _sig-elem define-signature] [(only sig-spec id ...) _sig-spec unit] [(except sig-spec id ...) _sig-spec unit] [(rename sig-spec (id id) ...) _sig-spec unit]