From 221b69e8e88f6041da1e1987ec0880307bd54fd2 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Wed, 25 May 2022 16:05:20 +0200
Subject: [PATCH] tweak test formatting

---
 tests/TAP.idr | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/tests/TAP.idr b/tests/TAP.idr
index 7d97c90..9423000 100644
--- a/tests/TAP.idr
+++ b/tests/TAP.idr
@@ -136,14 +136,11 @@ header tests =
   let count = length $ filter isRealTest tests in
   "1..\{show count}"
 
-private
-makePrefix : SnocList String -> String
-makePrefix [<]       = ""
-makePrefix (xs :< x) = foldr (\a, b => "\{a}/\{b}") x xs
 
 private
 withPrefix : SnocList String -> TestBase -> Test
-withPrefix pfx b = One $ {label := "[\{makePrefix pfx}] \{b.label}"} b
+withPrefix pfx = One . {label $= (makePrefix pfx ++)}
+  where makePrefix = concatMap $ \s => "\{s} ⟫ "
 
 mutual
   export
@@ -246,7 +243,7 @@ mutual
   run' : (Nat, Test) -> Runner Bool
   run' (index, One test) = run1' (index, test)
   run' (index, Group label tests) = do
-    putColor Magenta "# Subtest: \{label}"
+    putIndentLines [!(col Magenta "# Subtest: ") ++ label]
     res <- local {indent $= plus 4} $ runList tests
     putOk res index label
     pure res