From 12753eb8940394c0e73d19371b0d29a898f269f1 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sat, 7 May 2022 21:30:41 +0200
Subject: [PATCH] adjust precedence of (:-)

so `skip $ "grp" :- [...]` works
---
 tests/TAP.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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