Cosmetic
This commit is contained in:
parent
fba4aaa6b4
commit
4c1d6814d9
|
@ -16,7 +16,7 @@ assertion type entry(key, val);
|
||||||
ground dataspace {
|
ground dataspace {
|
||||||
actor named 'listener' {
|
actor named 'listener' {
|
||||||
react {
|
react {
|
||||||
assert ready("listener");
|
assert ready('listener');
|
||||||
on asserted entry($key, _) {
|
on asserted entry($key, _) {
|
||||||
console.log('key asserted', key);
|
console.log('key asserted', key);
|
||||||
react {
|
react {
|
||||||
|
@ -50,7 +50,7 @@ ground dataspace {
|
||||||
react {
|
react {
|
||||||
assert ready('pause');
|
assert ready('pause');
|
||||||
} until {
|
} until {
|
||||||
case asserted ready("pause") {
|
case asserted ready('pause') {
|
||||||
return k();
|
return k();
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -58,7 +58,7 @@ ground dataspace {
|
||||||
|
|
||||||
actor named 'driver' {
|
actor named 'driver' {
|
||||||
react until {
|
react until {
|
||||||
case asserted ready("listener") {
|
case asserted ready('listener') {
|
||||||
react until {
|
react until {
|
||||||
case asserted ready('other-listener') {
|
case asserted ready('other-listener') {
|
||||||
Dataspace.stateChange(Patch.assert(entry('a', 1)));
|
Dataspace.stateChange(Patch.assert(entry('a', 1)));
|
||||||
|
|
Loading…
Reference in New Issue