syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Use "message type" in demo-*.js

This commit is contained in:
Tony Garnock-Jones 2016-05-11 21:05:40 -04:00
parent 0208ae7a7d
commit 7b9f5a54e8
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
js/compiler/demo-bankaccount.js
View File

@ -3,7 +3,7 @@
var Syndicate = require('./src/main.js');
assertion type account(balance);
assertion type deposit(amount);
message type deposit(amount);
ground dataspace {
actor {

4
js/compiler/demo-filesystem.js
View File

@ -3,8 +3,8 @@
var Syndicate = require('./src/main.js');
assertion type file(name, content) = "file";
assertion type saveFile(name, content) = "save";
assertion type deleteFile(name) = "delete";
message type saveFile(name, content) = "save";
message type deleteFile(name) = "delete";
ground dataspace {
///////////////////////////////////////////////////////////////////////////