From 0f5e95ea33a6bc714463c1d721a40aeebe4b1ab6 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 7 Jul 2017 14:54:32 -0500 Subject: [PATCH] Use actual contracts in json docs. Closes #1725 --- pkgs/racket-doc/json/json.scrbl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/racket-doc/json/json.scrbl b/pkgs/racket-doc/json/json.scrbl index 5e72e8be2b..54d66c22d2 100644 --- 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)