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

Clearer example

This commit is contained in:
Tony Garnock-Jones 2016-01-16 18:45:44 -05:00
parent fe2bc31f4f
commit b7726dafb8
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
prospect/examples/bank-account.rkt
View File

@ -27,8 +27,9 @@
(assert (observe (account ?))))
(spawn (lambda (e s)
(and (patch/added? e)
(quit (list (message (alter-balance-by +100))
(message (alter-balance-by -30))))))
(if (and (patch? e) (matcher-non-empty? (patch-added e)))
(quit (list (message (alter-balance-by +100))
(message (alter-balance-by -30))))
#f))
(void)
(assert (observe (observe (alter-balance-by ?)))))