From 70353651973b0959d1c804011a4ec588fb5cd7bc Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 13 May 2014 23:14:52 -0400 Subject: [PATCH] Bring examples into line with new API --- minimart/examples/example-lang.rkt | 10 ++++++---- minimart/examples/example-plain.rkt | 5 +++-- 2 files changed, 9 insertions(+), 6 deletions(-) diff --git a/minimart/examples/example-lang.rkt b/minimart/examples/example-lang.rkt index 0510181..e2a45aa 100644 --- a/minimart/examples/example-lang.rkt +++ b/minimart/examples/example-lang.rkt @@ -14,14 +14,16 @@ #f)] [_ #f])) -(spawn-world (spawn r (void) (list (sub ?))) +(spawn-world (spawn r (void) (sub ?)) (spawn b 0)) (define (spy e s) (when e (log-info "SPY: ~v" e)) #f) -(spawn spy (void) (list (sub ? #:level 1000) (pub ? #:level 1000))) +(spawn spy (void) (gestalt-union (sub ? #:level 0) + (sub ? #:level 1) + (pub ? #:level 1))) (define (echoer e s) (match e @@ -29,5 +31,5 @@ [(message (event _ (list line)) _ _) (transition s (send `(got-line ,line)))] [_ #f])) -(spawn echoer (void) (list (sub (event (read-line-evt (current-input-port) 'any) ?) - #:meta-level 1))) +(spawn echoer (void) (sub (event (read-line-evt (current-input-port) 'any) ?) + #:meta-level 1)) diff --git a/minimart/examples/example-plain.rkt b/minimart/examples/example-plain.rkt index 24271ed..531d6fa 100644 --- a/minimart/examples/example-plain.rkt +++ b/minimart/examples/example-plain.rkt @@ -30,5 +30,6 @@ (spawn b 0)) (spawn echoer (void) (sub (event (read-line-evt (current-input-port) 'any) ?) #:meta-level 1)) - (spawn spy (void) (gestalt-union (sub ? #:level 1000) - (pub ? #:level 1000)))) + (spawn spy (void) (gestalt-union (sub ? #:level 0) + (sub ? #:level 1) + (pub ? #:level 1))))