remove bogus test

anoma · Jan 9, 2023 · 71ee199 · 71ee199
1 parent e595a7c
commit 71ee199
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 16 deletions.
diff --git a/test/Internal/Eval/Positive.hs b/test/Internal/Eval/Positive.hs
@@ -69,11 +69,6 @@ tests =
       $(mkRelDir ".")
       $(mkRelFile "IdenFunctionArgsImplicit.juvix")
       $(mkRelFile "out/IdenFunctionArgsImplicit.out"),
-    PosTest
-      "A function with no explicit arguments"
-      $(mkRelDir ".")
-      $(mkRelFile "IdenFunctionArgsNoExplicit.juvix")
-      $(mkRelFile "out/IdenFunctionArgsNoExplicit.out"),
     PosTest
       "A module that imports another"
       $(mkRelDir "Import")

diff --git a/tests/Internal/positive/IdenFunctionArgsNoExplicit.juvix b/tests/Internal/positive/IdenFunctionArgsNoExplicit.juvix