From 460a5480fc375596345f2abb72c4d2c2fe375ef3 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sun, 12 May 2019 09:43:09 -0500 Subject: [PATCH] exactness --- brag/brag/brag.scrbl | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/brag/brag/brag.scrbl b/brag/brag/brag.scrbl index f7cab87..9c8e775 100755 --- a/brag/brag/brag.scrbl +++ b/brag/brag/brag.scrbl @@ -1041,10 +1041,10 @@ In addition to the exports shown below, the @racketmodname[brag/support] module @defproc[(token [type (or/c string? symbol?)] [val any/c #f] - [#:line line (or/c positive-integer? #f) #f] - [#:column column (or/c nonnegative-integer? #f) #f] - [#:position position (or/c positive-integer? #f) #f] - [#:span span (or/c nonnegative-integer? #f) #f] + [#:line line (or/c exact-positive-integer? #f) #f] + [#:column column (or/c exact-nonnegative-integer? #f) #f] + [#:position position (or/c exact-positive-integer? #f) #f] + [#:span span (or/c exact-nonnegative-integer? #f) #f] [#:skip? skip? boolean? #f] ) token-struct?]{ @@ -1059,10 +1059,10 @@ In addition to the exports shown below, the @racketmodname[brag/support] module @defstruct[token-struct ([type symbol?] [val any/c] - [position (or/c positive-integer? #f)] - [line (or/c nonnegative-integer? #f)] - [column (or/c positive-integer? #f)] - [span (or/c nonnegative-integer? #f)] + [position (or/c exact-positive-integer? #f)] + [line (or/c exact-nonnegative-integer? #f)] + [column (or/c exact-positive-integer? #f)] + [span (or/c exact-nonnegative-integer? #f)] [skip? boolean?]) #:transparent]{ The token structure type.