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?])))]