From 2ae8817a6ba4be3bf59f710b80eb53a3d1bcafba Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 3 Dec 2015 12:53:53 -0800 Subject: [PATCH] Log to show what is going on in the box-and-client example --- prospect/examples/box-and-client.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/prospect/examples/box-and-client.rkt b/prospect/examples/box-and-client.rkt index 04d4ca0..b6e6d48 100644 --- a/prospect/examples/box-and-client.rkt +++ b/prospect/examples/box-and-client.rkt @@ -7,6 +7,7 @@ (spawn (lambda (e current-value) (match e [(message (set-box new-value)) + (log-info "box: taking on new-value ~v" new-value) (transition new-value (patch-seq (retract (box-state current-value)) (assert (box-state new-value))))] [_ #f])) @@ -20,6 +21,7 @@ (transition s (for/list [(v (matcher-project/set/single added (compile-projection (box-state (?!)))))] + (log-info "client: learned that box's value is now ~v" v) (message (set-box (+ v 1)))))] [_ #f])) (void)