From f1c3859a71ac496c958419f6c9a5b96222de7393 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 3 Jun 2021 23:32:22 +0200 Subject: [PATCH] Put assertion-struct and message-struct back. --- syndicate-examples/box-and-client.rkt | 4 ++-- syndicate/main.rkt | 9 +++++++++ 2 files changed, 11 insertions(+), 2 deletions(-) diff --git a/syndicate-examples/box-and-client.rkt b/syndicate-examples/box-and-client.rkt index 62c12f5..3133b48 100644 --- a/syndicate-examples/box-and-client.rkt +++ b/syndicate-examples/box-and-client.rkt @@ -1,8 +1,8 @@ #lang syndicate ;; Simple mutable box and count-to-infinity box client. -(struct set-box (new-value) #:prefab) -(struct box-state (value) #:prefab) +(message-struct set-box (new-value)) +(assertion-struct box-state (value)) (module+ main (actor-system/dataspace (ds) diff --git a/syndicate/main.rkt b/syndicate/main.rkt index 9a6a12d..2553916 100644 --- a/syndicate/main.rkt +++ b/syndicate/main.rkt @@ -3,12 +3,21 @@ (provide (all-from-out "actor.rkt") (all-from-out "syntax.rkt") (all-from-out preserves) + + assertion-struct + message-struct + :pattern :template) (require (except-in "actor.rkt" actor-system)) (require "syntax.rkt") (require preserves) + +;; Thin veneers over `struct` for declaring intent. +(define-syntax-rule (assertion-struct item ...) (struct item ... #:prefab)) +(define-syntax-rule (message-struct item ...) (struct item ... #:prefab)) + (require (only-in "pattern.rkt" :pattern :template)) (module reader syntax/module-reader syndicate/lang)