diff --git a/tests/TAP.idr b/tests/TAP.idr index f19c1cb..d4b06bf 100644 --- a/tests/TAP.idr +++ b/tests/TAP.idr @@ -101,7 +101,7 @@ testThrows label p act = One $ MakeTest label $ do Left err => if p err then success () else failure err Right val => failure [("success", val)] -infix 0 :- +infix 1 :- export %inline (:-) : String -> List Test -> Test (:-) = Group