From fe2bc31f4f7cff356fd45cc31ac3c816b4d81e9c Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sat, 16 Jan 2016 18:11:35 -0500 Subject: [PATCH] Avoid use of sub; wait for server to come ready before sending messages --- prospect/examples/bank-account.rkt | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/prospect/examples/bank-account.rkt b/prospect/examples/bank-account.rkt index 74d8bf8..345e550 100644 --- a/prospect/examples/bank-account.rkt +++ b/prospect/examples/bank-account.rkt @@ -13,7 +13,7 @@ (assert (account new-balance))))] [_ #f])) 0 - (patch-seq (sub (alter-balance-by ?)) + (patch-seq (assert (observe (alter-balance-by ?))) (assert (account 0)))) (spawn (lambda (e s) @@ -24,7 +24,11 @@ #f] [_ #f])) (void) - (sub (account ?))) + (assert (observe (account ?)))) -(message (alter-balance-by +100)) -(message (alter-balance-by -30)) +(spawn (lambda (e s) + (and (patch/added? e) + (quit (list (message (alter-balance-by +100)) + (message (alter-balance-by -30)))))) + (void) + (assert (observe (observe (alter-balance-by ?)))))