From 91281379f35089058abfaf6fda301bfca7fb3090 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sun, 22 Oct 2017 15:09:35 -0700 Subject: [PATCH] correct indenter contract --- beautiful-racket-demo/jsonic-demo-2/indenter.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/beautiful-racket-demo/jsonic-demo-2/indenter.rkt b/beautiful-racket-demo/jsonic-demo-2/indenter.rkt index 9da8965..ac53450 100644 --- a/beautiful-racket-demo/jsonic-demo-2/indenter.rkt +++ b/beautiful-racket-demo/jsonic-demo-2/indenter.rkt @@ -24,7 +24,7 @@ (contract-out [indent-jsonic (((is-a?/c text%)) (exact-nonnegative-integer?) . ->* . - (or/c exact-nonnegative-integer? #f))])) + (or/c exact-positive-integer? #f))])) (module+ test (require rackunit)