From f6be642c9743e7c6909047c2a5af6b19cdc4142f Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 25 Aug 2015 15:54:23 -0400 Subject: [PATCH] Fix set/tset usage in endpoint.rkt --- prospect/endpoint.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/prospect/endpoint.rkt b/prospect/endpoint.rkt index 8bcc265..31ce36b 100644 --- a/prospect/endpoint.rkt +++ b/prospect/endpoint.rkt @@ -19,6 +19,7 @@ (require "core.rkt") (require "mux.rkt") (require "pretty.rkt") +(require "tset.rkt") ;; An EID is a Nat. @@ -88,7 +89,8 @@ (match e [#f (hash-keys endpoints)] [(? patch?) (compute-affected-pids routing-table e)] - [(message body) (matcher-match-value routing-table (observe body))])) + [(message body) + (tset->list (matcher-match-value routing-table (observe body) (datum-tset)))])) (define tasks (for/list [(eid affected-eids)] (list (if (patch? e) (view-patch e (hash-ref interests eid matcher-empty)) @@ -134,7 +136,7 @@ (define (interpret-endpoint-patch cumulative-patch actions g eid p0) (define old-interests (hash-ref (endpoint-group-interests g) eid matcher-empty)) (define old-routing-table (endpoint-group-routing-table g)) - (define p (limit-patch (label-patch p0 (set eid)) old-interests)) + (define p (limit-patch (label-patch p0 (datum-tset eid)) old-interests)) (define p-aggregate (compute-aggregate-patch p eid old-routing-table)) (define new-interests (apply-patch old-interests p)) (define new-routing-table (apply-patch old-routing-table p))