From 634b114afc1e2d38a0d5ce27750950c936566e10 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 22 Apr 2018 21:00:35 +0100 Subject: [PATCH] Improve debug-printing of facets --- syndicate/dataspace.rkt | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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