From 54cba837911aa872cf1c84f2b2719eb1ee54722b Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 10 Mar 2024 12:40:28 +0100 Subject: [PATCH] Bring up-to-date with Preserves and protocol changes --- syndicate/private/schemas/racketEvent.prs | 2 +- syndicate/rewrite.rkt | 1 - syndicate/schema-compiler.rkt | 1 - 3 files changed, 1 insertion(+), 3 deletions(-) diff --git a/syndicate/private/schemas/racketEvent.prs b/syndicate/private/schemas/racketEvent.prs index 36985a7..67ad6de 100644 --- a/syndicate/private/schemas/racketEvent.prs +++ b/syndicate/private/schemas/racketEvent.prs @@ -1,3 +1,3 @@ version 1 . -RacketEvent = . +RacketEvent = . diff --git a/syndicate/rewrite.rkt b/syndicate/rewrite.rkt index 8499df4..d87210c 100644 --- a/syndicate/rewrite.rkt +++ b/syndicate/rewrite.rkt @@ -21,7 +21,6 @@ [(Pattern-PAtom (PAtom-Boolean)) (boolean? v)] [(Pattern-PAtom (PAtom-ByteString)) (bytes? v)] [(Pattern-PAtom (PAtom-Double)) (flonum? v)] - [(Pattern-PAtom (PAtom-Float)) (float? v)] [(Pattern-PAtom (PAtom-SignedInteger)) (integer? v)] [(Pattern-PAtom (PAtom-String)) (string? v)] [(Pattern-PAtom (PAtom-Symbol)) (symbol? v)] diff --git a/syndicate/schema-compiler.rkt b/syndicate/schema-compiler.rkt index 2b7f558..df7afbe 100644 --- a/syndicate/schema-compiler.rkt +++ b/syndicate/schema-compiler.rkt @@ -47,7 +47,6 @@ [(SimplePattern-atom atomKind) `(lambda (stx) #`(? ,(match atomKind [(AtomKind-Boolean) `boolean?] - [(AtomKind-Float) `float?] [(AtomKind-Double) `double-flonum?] [(AtomKind-SignedInteger) `integer?] [(AtomKind-String) `string?]