From 73119c323f98d5f6fc5e5c50743d821aa3c9f5eb Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 29 Feb 2016 13:44:45 -0500 Subject: [PATCH] Avoid use of for-trie in example for PLACES paper --- prospect/examples/bank-account.rkt | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/prospect/examples/bank-account.rkt b/prospect/examples/bank-account.rkt index c16e4da..f5a0f8a 100644 --- a/prospect/examples/bank-account.rkt +++ b/prospect/examples/bank-account.rkt @@ -12,9 +12,8 @@ [_ #f])) (define (observer e _) - (when (patch? e) - (for-trie ([(account $balance) (patch-added e)]) - (printf "Balance changed to ~a\n" balance))) + (when (patch? e) (for [(balance (project-assertions (patch-added e) (account (?!))))] + (printf "Balance changed to ~a\n" balance))) #f) (define (updater e _)