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

add a type sig that is needed now??

Browse source
This commit is contained in:
rhiannon morris 2023-09-17 16:57:43 +02:00
parent 2f1044f6ef
commit 28f0546903
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
TAP.idr
View file

@ -189,7 +189,8 @@ header tests =
private private
withPrefix : SnocList String -> TestBase -> Test withPrefix : SnocList String -> TestBase -> Test
withPrefix pfx = One . {label $= (makePrefix pfx ++)} withPrefix pfx = One . {label $= (makePrefix pfx ++)}
where makePrefix = concatMap $ \s => "\{s} » " where makePrefix : SnocList String -> String
makePrefix = concatMap $ \s => "\{s} » "
mutual mutual
||| flatten some tests, starting with the prefix given ||| flatten some tests, starting with the prefix given