Corrected contract of datum->syntax source locations.

svn: r17997
This commit is contained in:
Carl Eastlund 2010-02-05 20:49:10 +00:00
parent ce7c7eac7b
commit 17f83a5a54

View File

@ -145,13 +145,13 @@ needed to strip lexical and source-location information recursively.}
(list/c any/c (list/c any/c
(or/c exact-positive-integer? #f) (or/c exact-positive-integer? #f)
(or/c exact-nonnegative-integer? #f) (or/c exact-nonnegative-integer? #f)
(or/c exact-nonnegative-integer? #f) (or/c exact-positive-integer? #f)
(or/c exact-positive-integer? #f)) (or/c exact-nonnegative-integer? #f))
(vector/c any/c (vector/c any/c
(or/c exact-positive-integer? #f) (or/c exact-positive-integer? #f)
(or/c exact-nonnegative-integer? #f) (or/c exact-nonnegative-integer? #f)
(or/c exact-nonnegative-integer? #f) (or/c exact-positive-integer? #f)
(or/c exact-positive-integer? #f))) (or/c exact-nonnegative-integer? #f)))
#f] #f]
[prop (or/c syntax? #f) #f] [prop (or/c syntax? #f) #f]
[cert (or/c syntax? #f) #f]) [cert (or/c syntax? #f) #f])