use trie comprehension in bank account example

2016-02-22 23:35:06 -05:00 · 2016-02-22 23:35:06 -05:00 · 874ba60f06
parent aa4e4afdde
commit 874ba60f06
1 changed files with 1 additions and 1 deletions
--- a/prospect/examples/bank-account.rkt
+++ b/prospect/examples/bank-account.rkt
@ -13,7 +13,7 @@

 (define (observer e _)
  (when (patch? e)
-    (for [(balance (project-assertions (patch-added e) (account (?!))))]
+    (for-trie ([(account $balance) (patch-added e)])
      (printf "Balance changed to ~a\n" balance)))
  #f)