rhi/quox
rhi
/
quox
1
0
Fork 0
Code Issues 16 Pull Requests 1 Releases Wiki Activity

make skip functions make more sense

This commit is contained in:
rhiannon morris 2022-05-02 02:27:03 +02:00
parent e3384d4e6e
commit 434f0e08d1
1 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
tests/TAP.idr
View File

@ -84,13 +84,18 @@ export %inline
todo : String -> Test
todo label = todoWith label ""
export %inline
skipWith : String -> String -> Test
skipWith label reason = One $ MakeTest label $ pure $ Skip reason
private %inline
makeSkip : String -> String -> Test
makeSkip label reason = One $ MakeTest label $ pure $ Skip reason
export %inline
skip : String -> Test
skip label = skipWith label ""
skipWith : Test -> String -> Test
skipWith (One t) reason = makeSkip t.label reason
skipWith (Group l _) reason = makeSkip l reason
export %inline
skip : Test -> Test
skip test = skipWith test ""
export
testThrows : Show a => String -> Lazy (Error es a) -> Test