Use actual contracts in json docs.

Closes racket#1725
LiberalArtist · Jul 7, 2017 · 0f5e95e · 0f5e95e
1 parent 5f740ff
commit 0f5e95e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/pkgs/racket-doc/json/json.scrbl b/pkgs/racket-doc/json/json.scrbl
@@ -1,6 +1,6 @@
 #lang scribble/manual
 
-@(require (for-label racket/base json))
+@(require (for-label racket/base racket/contract json))
 
 @(define website @link["http://json.org"]{JSON web site})
 @(define rfc @link["http://www.ietf.org/rfc/rfc4627.txt"]{JSON RFC})
@@ -33,9 +33,9 @@ the @rfc for more information about JSON.
     @item{the value of @racket[jsnull], @racket['null] by default}
     @item{@racket[boolean?]}
     @item{@racket[string?]}
-    @item{@racket[(or exact-integer? inexact-real?)]}
+    @item{@racket[(or/c exact-integer? inexact-real?)]}
     @item{@racket[(listof jsexpr?)]}
-    @item{@racket[(hasheqof symbol? jsexpr?)]}]
+    @item{@racket[(and/c hash-eq? (hash/c symbol? jsexpr?))]}]
 
 @examples[#:eval ev
   (jsexpr? 'null)