Avoid use of for-trie in example for PLACES paper

2016-02-29 13:44:45 -05:00 · 2016-02-29 13:44:45 -05:00 · 73119c323f
parent 79ea380afc
commit 73119c323f
1 changed files with 2 additions and 3 deletions
--- 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 _)