You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
--- 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
|