From 006946a3a0c29488a7ce474aa92c80653ec3100c Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Fri, 5 Feb 2016 13:20:13 -0500 Subject: [PATCH] use comprehension in box-and-client --- prospect/examples/box-and-client.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prospect/examples/box-and-client.rkt b/prospect/examples/box-and-client.rkt index 6191053..79f02e0 100644 --- a/prospect/examples/box-and-client.rkt +++ b/prospect/examples/box-and-client.rkt @@ -18,7 +18,7 @@ (spawn (lambda (e s) (match e [(patch added removed) - (transition s (for/list [(v (project-assertions added (box-state (?!))))] + (transition s (for-trie/list ([(box-state $v) added]) (log-info "client: learned that box's value is now ~v" v) (message (set-box (+ v 1)))))] [_ #f]))