From e41290c509817ffdc65ac583e054528e396769d1 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 25 Sep 2017 23:54:19 +0100 Subject: [PATCH] simple-cross-layer.rkt --- .../syndicate/examples/actor/simple-cross-layer.rkt | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 racket/syndicate/examples/actor/simple-cross-layer.rkt diff --git a/racket/syndicate/examples/actor/simple-cross-layer.rkt b/racket/syndicate/examples/actor/simple-cross-layer.rkt new file mode 100644 index 0000000..402b50f --- /dev/null +++ b/racket/syndicate/examples/actor/simple-cross-layer.rkt @@ -0,0 +1,11 @@ +#lang syndicate + +(assertion-struct greeting (text)) + +(spawn (assert (greeting "Hello from an outer dataspace actor!"))) +(spawn (on (asserted (greeting $t)) + (printf "Outer dataspace: ~a\n" t))) + +(dataspace (spawn (assert (outbound (greeting "Hello from an inner dataspace actor!")))) + (spawn (on (asserted (inbound (greeting $t))) + (printf "Inner dataspace: ~a\n" t))))