suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

fix '(nonnegative|positive)-exact-integer?' contracts (moving 'exact-' to the front where it belongs)

Browse Source 
svn: r10960

original commit: 2c813c53c56b010127736b6b33d1060a672ca1b7
This commit is contained in:
Matthew Flatt 2008-07-29 12:56:05 +00:00
parent cb550a460a
commit 48e3293a0b
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/scribblings/scribble/basic.scrbl
View File

@ -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].}

4
collects/scribblings/scribble/struct.scrbl
View File

@ -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}.}