From aee1eb4c27c9dde6a38f9591694884719decca1c Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Tue, 31 Oct 2023 22:51:34 +0100
Subject: [PATCH] Update schemaish #lang

---
 .../speed-tests/box-and-client/protocol.rkt          | 12 ------------
 .../speed-tests/box-and-client/protocol.rkt.prs      | 12 ++++++++++++
 .../speed-tests/box-and-client/with-dataspace.rkt    |  2 +-
 3 files changed, 13 insertions(+), 13 deletions(-)
 delete mode 100644 syndicate-examples/speed-tests/box-and-client/protocol.rkt
 create mode 100644 syndicate-examples/speed-tests/box-and-client/protocol.rkt.prs

diff --git a/syndicate-examples/speed-tests/box-and-client/protocol.rkt b/syndicate-examples/speed-tests/box-and-client/protocol.rkt
deleted file mode 100644
index 5cf9217..0000000
--- a/syndicate-examples/speed-tests/box-and-client/protocol.rkt
+++ /dev/null
@@ -1,12 +0,0 @@
-#lang preserves-schema #:plugin syndicate/schema-compiler
-;;; SPDX-License-Identifier: LGPL-3.0-or-later
-;;; SPDX-FileCopyrightText: Copyright © 2021-2023 Tony Garnock-Jones <tonyg@leastfixedpoint.com>
-
-version 1 .
-
-BoxState = <BoxState @value int>.
-SetBox = <SetBox @value int>.
-
-; BoxCap = BoxState / <Observe =SetBox @observer embedded>.
-; ClientCap = SetBox / <Observe =BoxState @observer embedded>.
-.
diff --git a/syndicate-examples/speed-tests/box-and-client/protocol.rkt.prs b/syndicate-examples/speed-tests/box-and-client/protocol.rkt.prs
new file mode 100644
index 0000000..f9501e9
--- /dev/null
+++ b/syndicate-examples/speed-tests/box-and-client/protocol.rkt.prs
@@ -0,0 +1,12 @@
+#lang preserves-schema #:plugin syndicate/schema-compiler
+# SPDX-License-Identifier: LGPL-3.0-or-later
+# SPDX-FileCopyrightText: Copyright © 2021-2023 Tony Garnock-Jones <tonyg@leastfixedpoint.com>
+
+version 1 .
+
+BoxState = <BoxState @value int>.
+SetBox = <SetBox @value int>.
+
+# BoxCap = BoxState / <Observe =SetBox @observer embedded>.
+# ClientCap = SetBox / <Observe =BoxState @observer embedded>.
+.
diff --git a/syndicate-examples/speed-tests/box-and-client/with-dataspace.rkt b/syndicate-examples/speed-tests/box-and-client/with-dataspace.rkt
index 4b13f6a..5d86b3d 100644
--- a/syndicate-examples/speed-tests/box-and-client/with-dataspace.rkt
+++ b/syndicate-examples/speed-tests/box-and-client/with-dataspace.rkt
@@ -2,7 +2,7 @@
 ;;; SPDX-License-Identifier: LGPL-3.0-or-later
 ;;; SPDX-FileCopyrightText: Copyright © 2021-2023 Tony Garnock-Jones <tonyg@leastfixedpoint.com>
 
-(require "protocol.rkt")
+(require "protocol.rkt.prs")
 (require "stats.rkt")
 
 (define (box ds LIMIT REPORT_EVERY)