From a74b944e2c118b85ef8ab63a1dd17e9a5b1971e1 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Wed, 23 Dec 2020 14:51:34 +0100 Subject: [PATCH] utils.rkt: Add a label for the pretty printing section. --- utils.rkt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/utils.rkt b/utils.rkt index bd117e3..10e1164 100644 --- a/utils.rkt +++ b/utils.rkt @@ -285,6 +285,11 @@ (check-equal? (list-sets->list-strings (list (set 'x 'y) (set 'z) (set) (set 't))) '("y x" "z" "" "t")))) + +;;; =============== +;;; Pretty printing +;;; =============== + (: pretty-print-set (-> (Setof Any) String)) (define (pretty-print-set s) (string-join (sort (set-map s any->string) string