rhi/idris2-tap
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Wiki Activity

change V13 name separator

Browse source
This commit is contained in:
rhiannon morris 2023-03-05 13:11:52 +01:00
parent 17399cafd9
commit aba132b542
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
TAP.idr
View file

@ -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