syndicate-lang
/
syndicate-rkt
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Update schemaish #lang

This commit is contained in:
Tony Garnock-Jones 2023-10-31 22:51:34 +01:00
parent 0e43100e98
commit aee1eb4c27
3 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
syndicate-examples/speed-tests/box-and-client/protocol.rkt
View File

@ -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>.
.

12
syndicate-examples/speed-tests/box-and-client/protocol.rkt.prs Normal file
View File

@ -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>.
.

2
syndicate-examples/speed-tests/box-and-client/with-dataspace.rkt
View File

@ -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)