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