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
|
2015-03-21 22:38:37 +00:00
|
|
|
(spawn (lambda (e u)
|
|
|
|
|
(match u
|
|
|
|
|
[0 (transition 1 '())]
|
|
|
|
|
[1 (transition 2 (retract 'a #:meta-level 1))]
|
|
|
|
|
[_ #f]))
|
|
|
|
|
0
|
2015-12-03 20:53:07 +00:00
|
|
|
(patch-seq (assert 'a #:meta-level 1)
|
|
|
|
|
(assert (observe 'a) #:meta-level 1))))
|
