From 48e3293a0bc4d0f2c3013005290fa46bc622378c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 29 Jul 2008 12:56:05 +0000 Subject: [PATCH] fix '(nonnegative|positive)-exact-integer?' contracts (moving 'exact-' to the front where it belongs) svn: r10960 original commit: 2c813c53c56b010127736b6b33d1060a672ca1b7 --- collects/scribblings/scribble/basic.scrbl | 2 +- collects/scribblings/scribble/struct.scrbl | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/scribblings/scribble/basic.scrbl b/collects/scribblings/scribble/basic.scrbl index cc26e22f..1ccdf871 100644 --- a/collects/scribblings/scribble/basic.scrbl +++ b/collects/scribblings/scribble/basic.scrbl @@ -150,7 +150,7 @@ an element with style @scheme[#f].} @def-style-proc[subscript] @def-style-proc[superscript] -@defproc[(hspace [n nonnegative-exact-integer?]) element?]{ +@defproc[(hspace [n exact-nonnegative-integer?]) element?]{ Produces an element containing @scheme[n] spaces and style @scheme['hspace].} diff --git a/collects/scribblings/scribble/struct.scrbl b/collects/scribblings/scribble/struct.scrbl index 7096bfda..48d4136d 100644 --- a/collects/scribblings/scribble/struct.scrbl +++ b/collects/scribblings/scribble/struct.scrbl @@ -689,14 +689,14 @@ Like @scheme[content->string], but for a single @tech{element}. } -@defproc[(element-width (element any/c)) nonnegative-exact-integer?]{ +@defproc[(element-width (element any/c)) exact-nonnegative-integer?]{ Returns the width in characters of the given @tech{element}. } -@defproc[(block-width (e block?)) nonnegative-exact-integer?]{ +@defproc[(block-width (e block?)) exact-nonnegative-integer?]{ Returns the width in characters of the given @tech{block}.}