diff --git a/TAP.idr b/TAP.idr index 708bf1a..77c9a94 100644 --- a/TAP.idr +++ b/TAP.idr @@ -178,7 +178,7 @@ header tests = private withPrefix : SnocList String -> TestBase -> Test withPrefix pfx = One . {label $= (makePrefix pfx ++)} - where makePrefix = concatMap $ \s => "\{s} ⟫ " + where makePrefix = concatMap $ \s => "\{s} » " mutual ||| flatten some tests, starting with the prefix given