From cbf057204cb85a3400fa7c930c9d11cbbeabadbd Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 22 May 2014 18:49:26 -0400 Subject: [PATCH] Print empty gestalt differently to reduce ambiguity. --- minimart/gestalt.rkt | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/minimart/gestalt.rkt b/minimart/gestalt.rkt index 6b8c758..be7fa9e 100644 --- a/minimart/gestalt.rkt +++ b/minimart/gestalt.rkt @@ -256,13 +256,15 @@ (gestalt-matcher-transform g (lambda (m) (matcher-relabel m (lambda (v) pidset))))) (define (pretty-print-gestalt g [port (current-output-port)]) - (for [(metalevel (in-naturals)) (ls (in-list (gestalt-metalevels g)))] - (for [(level (in-naturals)) (p (in-list ls))] - (match-define (cons subs advs) p) - (when (or subs advs) - (fprintf port "GESTALT metalevel ~v level ~v:\n" metalevel level) - (when subs (fprintf port " - subs:") (pretty-print-matcher subs port #:indent 9)) - (when advs (fprintf port " - advs:") (pretty-print-matcher advs port #:indent 9)))))) + (if (gestalt-empty? g) + (fprintf port "EMPTY GESTALT\n") + (for [(metalevel (in-naturals)) (ls (in-list (gestalt-metalevels g)))] + (for [(level (in-naturals)) (p (in-list ls))] + (match-define (cons subs advs) p) + (when (or subs advs) + (fprintf port "GESTALT metalevel ~v level ~v:\n" metalevel level) + (when subs (fprintf port " - subs:") (pretty-print-matcher subs port #:indent 9)) + (when advs (fprintf port " - advs:") (pretty-print-matcher advs port #:indent 9))))))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;