diff --git a/syndicate/dataspace.rkt b/syndicate/dataspace.rkt index e2882a1..d844c9c 100644 --- a/syndicate/dataspace.rkt +++ b/syndicate/dataspace.rkt @@ -111,10 +111,15 @@ ) #:methods gen:custom-write [(define (write-proc f p mode) + (local-require (only-in racket/string string-join)) + (define (facet-id-chain f) + (if f + (cons (number->string (facet-id f)) (facet-id-chain (facet-parent f))) + '())) (fprintf p "#" (actor-id (facet-actor f)) (actor-name (facet-actor f)) - (facet-id f)))]) + (string-join (facet-id-chain f) ":")))]) (struct endpoint (id ;; EID [assertion #:mutable] ;; Assertion