2016-04-01 23:53:46 +00:00
|
|
|
#lang syndicate
|
2015-03-21 22:38:37 +00:00
|
|
|
;; Analogous to nc-incremental-meta-drop.rkt in the Redex model.
|
|
|
|
;; Demonstrates (hopefully) correct processing of meta-interests when dropping a patch.
|
|
|
|
|
2016-04-07 07:42:54 +00:00
|
|
|
(spawn-dataspace
|
2017-02-15 23:18:19 +00:00
|
|
|
(actor (lambda (e u)
|
2015-03-21 22:38:37 +00:00
|
|
|
(match u
|
|
|
|
[0 (transition 1 '())]
|
2016-07-30 17:02:07 +00:00
|
|
|
[1 (transition 2 (retract (outbound 'a)))]
|
2015-03-21 22:38:37 +00:00
|
|
|
[_ #f]))
|
|
|
|
0
|
2016-07-30 17:02:07 +00:00
|
|
|
(patch-seq (assert (outbound 'a))
|
|
|
|
(assert (observe (inbound 'a))))))
|