dev-lang/idris2/files/idris2-0.7.0-disable-allbackends-tests.patch


1
2
3
4
5
6
7
8
9
10

--- a/tests/Main.idr
+++ b/tests/Main.idr
@@ -233,7 +233,6 @@ main = runner $
   , !codegenTests
   ]
   ++ !(traverse idrisTestsAllSchemes [Chez, Racket])
-  ++ map (testPaths "allbackends" . idrisTestsAllBackends) [Chez, Node, Racket, C]
 
 
     where