From 264c4b9d2e4475a49ab1771d6d7d6067191bfb1e Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 27 May 2021 00:27:06 +0200 Subject: [PATCH] Repair integer parsing --- implementations/racket/preserves/preserves-schema/parser.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/implementations/racket/preserves/preserves-schema/parser.rkt b/implementations/racket/preserves/preserves-schema/parser.rkt index 21f6c4d..f0f839d 100644 --- a/implementations/racket/preserves/preserves-schema/parser.rkt +++ b/implementations/racket/preserves/preserves-schema/parser.rkt @@ -59,7 +59,7 @@ [(AtomKind-Boolean) 'boolean?] [(AtomKind-Float) 'float?] [(AtomKind-Double) 'flonum?] - [(AtomKind-SignedInteger) 'integer?] + [(AtomKind-SignedInteger) 'exact-integer?] [(AtomKind-String) 'string?] [(AtomKind-ByteString) 'bytes?] [(AtomKind-Symbol) 'symbol?])))]