Group tests by directory

idris-lang · Sep 1, 2023 · a51da70 · a51da70
1 parent c346519
commit a51da70
Show file tree

Hide file tree

Showing 2,504 changed files with 1,912 additions and 2,324 deletions.
diff --git a/.github/workflows/ci-idris2.yml b/.github/workflows/ci-idris2.yml
@@ -483,7 +483,7 @@ jobs:
         run: make install-api
         shell: bash
       - name: Test API
-        run: cd tests/idris2/api001 && ./run idris2
+        run: cd tests/idris2/api/api001 && ./run idris2
         shell: bash
 
   ######################################################################

diff --git a/tests/Main.idr b/tests/Main.idr
diff --git a/tests/chez/barrier001/Main.idr b/tests/chez/barrier001/Main.idr
@@ -10,6 +10,6 @@ main = do
         putStrLn "Hello"
         barrierWait barrier
         putStrLn "Goodbye"
-    for threadIDs $ \threadID =>
+    for_ threadIDs $ \threadID =>
         threadWait threadID
     sleep 1
diff --git a/tests/idris2/api001/README → tests/idris2/api/README b/tests/idris2/api001/README → tests/idris2/api/README
diff --git a/tests/idris2/api001/Hello.idr → tests/idris2/api/api001/Hello.idr b/tests/idris2/api001/Hello.idr → tests/idris2/api/api001/Hello.idr
diff --git a/tests/idris2/api001/LazyCodegen.idr → tests/idris2/api/api001/LazyCodegen.idr b/tests/idris2/api001/LazyCodegen.idr → tests/idris2/api/api001/LazyCodegen.idr
diff --git a/tests/idris2/api001/expected → tests/idris2/api/api001/expected b/tests/idris2/api001/expected → tests/idris2/api/api001/expected
diff --git a/tests/idris2/api/api001/run b/tests/idris2/api/api001/run
@@ -0,0 +1,6 @@
+. ../../../testutils.sh
+
+idris2 -p idris2 -p contrib -p network LazyCodegen.idr -o lazy-idris2
+./build/exec/lazy-idris2 --cg lazy Hello.idr -o hello > output
+diff expected output
+cmp -n 15 expected output
diff --git a/tests/idris2/api001/run b/tests/idris2/api001/run
diff --git a/tests/idris2/basic001/Vect.idr → tests/idris2/basic/basic001/Vect.idr b/tests/idris2/basic001/Vect.idr → tests/idris2/basic/basic001/Vect.idr
diff --git a/tests/idris2/basic001/expected → tests/idris2/basic/basic001/expected b/tests/idris2/basic001/expected → tests/idris2/basic/basic001/expected
diff --git a/tests/idris2/basic001/input → tests/idris2/basic/basic001/input b/tests/idris2/basic001/input → tests/idris2/basic/basic001/input
diff --git a/tests/idris2/basic/basic001/run b/tests/idris2/basic/basic001/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 --no-prelude Vect.idr < input
diff --git a/tests/idris2/basic002/Do.idr → tests/idris2/basic/basic002/Do.idr b/tests/idris2/basic002/Do.idr → tests/idris2/basic/basic002/Do.idr
diff --git a/tests/idris2/basic002/expected → tests/idris2/basic/basic002/expected b/tests/idris2/basic002/expected → tests/idris2/basic/basic002/expected
diff --git a/tests/idris2/basic002/input → tests/idris2/basic/basic002/input b/tests/idris2/basic002/input → tests/idris2/basic/basic002/input
diff --git a/tests/idris2/basic/basic002/run b/tests/idris2/basic/basic002/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 --no-prelude Do.idr < input
diff --git a/tests/idris2/basic003/Ambig1.idr → tests/idris2/basic/basic003/Ambig1.idr b/tests/idris2/basic003/Ambig1.idr → tests/idris2/basic/basic003/Ambig1.idr
diff --git a/tests/idris2/basic003/Ambig2.idr → tests/idris2/basic/basic003/Ambig2.idr b/tests/idris2/basic003/Ambig2.idr → tests/idris2/basic/basic003/Ambig2.idr
diff --git a/tests/idris2/basic003/expected → tests/idris2/basic/basic003/expected b/tests/idris2/basic003/expected → tests/idris2/basic/basic003/expected
diff --git a/tests/idris2/basic/basic003/run b/tests/idris2/basic/basic003/run
@@ -0,0 +1,4 @@
+. ../../../testutils.sh
+
+echo ':q' | idris2 --no-prelude Ambig1.idr
+echo ':q' | idris2 --no-prelude Ambig2.idr
diff --git a/tests/idris2/basic004/Stuff.idr → tests/idris2/basic/basic004/Stuff.idr b/tests/idris2/basic004/Stuff.idr → tests/idris2/basic/basic004/Stuff.idr
diff --git a/tests/idris2/basic004/Wheres.idr → tests/idris2/basic/basic004/Wheres.idr b/tests/idris2/basic004/Wheres.idr → tests/idris2/basic/basic004/Wheres.idr
diff --git a/tests/idris2/basic004/expected → tests/idris2/basic/basic004/expected b/tests/idris2/basic004/expected → tests/idris2/basic/basic004/expected
diff --git a/tests/idris2/basic004/input → tests/idris2/basic/basic004/input b/tests/idris2/basic004/input → tests/idris2/basic/basic004/input
diff --git a/tests/idris2/basic/basic004/run b/tests/idris2/basic/basic004/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 --no-prelude Wheres.idr < input
diff --git a/tests/idris2/basic005/NoInfer.idr → tests/idris2/basic/basic005/NoInfer.idr b/tests/idris2/basic005/NoInfer.idr → tests/idris2/basic/basic005/NoInfer.idr
diff --git a/tests/idris2/basic005/expected → tests/idris2/basic/basic005/expected b/tests/idris2/basic005/expected → tests/idris2/basic/basic005/expected
diff --git a/tests/idris2/basic/basic005/run b/tests/idris2/basic/basic005/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+echo ':q' | idris2 --no-prelude NoInfer.idr
diff --git a/tests/idris2/basic006/PMLet.idr → tests/idris2/basic/basic006/PMLet.idr b/tests/idris2/basic006/PMLet.idr → tests/idris2/basic/basic006/PMLet.idr
diff --git a/tests/idris2/basic006/Stuff.idr → tests/idris2/basic/basic006/Stuff.idr b/tests/idris2/basic006/Stuff.idr → tests/idris2/basic/basic006/Stuff.idr
diff --git a/tests/idris2/basic006/expected → tests/idris2/basic/basic006/expected b/tests/idris2/basic006/expected → tests/idris2/basic/basic006/expected
diff --git a/tests/idris2/basic006/input → tests/idris2/basic/basic006/input b/tests/idris2/basic006/input → tests/idris2/basic/basic006/input
diff --git a/tests/idris2/basic/basic006/run b/tests/idris2/basic/basic006/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 --no-prelude PMLet.idr < input
diff --git a/tests/idris2/basic007/DoLocal.idr → tests/idris2/basic/basic007/DoLocal.idr b/tests/idris2/basic007/DoLocal.idr → tests/idris2/basic/basic007/DoLocal.idr
diff --git a/tests/idris2/basic007/Stuff.idr → tests/idris2/basic/basic007/Stuff.idr b/tests/idris2/basic007/Stuff.idr → tests/idris2/basic/basic007/Stuff.idr
diff --git a/tests/idris2/basic007/expected → tests/idris2/basic/basic007/expected b/tests/idris2/basic007/expected → tests/idris2/basic/basic007/expected
diff --git a/tests/idris2/basic007/input → tests/idris2/basic/basic007/input b/tests/idris2/basic007/input → tests/idris2/basic/basic007/input
diff --git a/tests/idris2/basic/basic007/run b/tests/idris2/basic/basic007/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 --no-prelude DoLocal.idr < input
diff --git a/tests/idris2/basic008/If.idr → tests/idris2/basic/basic008/If.idr b/tests/idris2/basic008/If.idr → tests/idris2/basic/basic008/If.idr
diff --git a/tests/idris2/basic008/Stuff.idr → tests/idris2/basic/basic008/Stuff.idr b/tests/idris2/basic008/Stuff.idr → tests/idris2/basic/basic008/Stuff.idr
diff --git a/tests/idris2/basic008/expected → tests/idris2/basic/basic008/expected b/tests/idris2/basic008/expected → tests/idris2/basic/basic008/expected
diff --git a/tests/idris2/basic008/input → tests/idris2/basic/basic008/input b/tests/idris2/basic008/input → tests/idris2/basic/basic008/input
diff --git a/tests/idris2/basic/basic008/run b/tests/idris2/basic/basic008/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 --no-prelude If.idr < input
diff --git a/tests/idris2/basic009/LetCase.idr → tests/idris2/basic/basic009/LetCase.idr b/tests/idris2/basic009/LetCase.idr → tests/idris2/basic/basic009/LetCase.idr
diff --git a/tests/idris2/basic009/Stuff.idr → tests/idris2/basic/basic009/Stuff.idr b/tests/idris2/basic009/Stuff.idr → tests/idris2/basic/basic009/Stuff.idr
diff --git a/tests/idris2/basic009/expected → tests/idris2/basic/basic009/expected b/tests/idris2/basic009/expected → tests/idris2/basic/basic009/expected
diff --git a/tests/idris2/basic009/input → tests/idris2/basic/basic009/input b/tests/idris2/basic009/input → tests/idris2/basic/basic009/input
diff --git a/tests/idris2/basic/basic009/run b/tests/idris2/basic/basic009/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 --no-prelude LetCase.idr < input
diff --git a/tests/idris2/basic010/Comp.idr → tests/idris2/basic/basic010/Comp.idr b/tests/idris2/basic010/Comp.idr → tests/idris2/basic/basic010/Comp.idr
diff --git a/tests/idris2/basic010/expected → tests/idris2/basic/basic010/expected b/tests/idris2/basic010/expected → tests/idris2/basic/basic010/expected
diff --git a/tests/idris2/basic010/input → tests/idris2/basic/basic010/input b/tests/idris2/basic010/input → tests/idris2/basic/basic010/input
diff --git a/tests/idris2/basic/basic010/run b/tests/idris2/basic/basic010/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 --no-prelude Comp.idr < input
diff --git a/tests/idris2/basic011/Dots1.idr → tests/idris2/basic/basic011/Dots1.idr b/tests/idris2/basic011/Dots1.idr → tests/idris2/basic/basic011/Dots1.idr
diff --git a/tests/idris2/basic011/Dots2.idr → tests/idris2/basic/basic011/Dots2.idr b/tests/idris2/basic011/Dots2.idr → tests/idris2/basic/basic011/Dots2.idr
diff --git a/tests/idris2/basic011/Dots3.idr → tests/idris2/basic/basic011/Dots3.idr b/tests/idris2/basic011/Dots3.idr → tests/idris2/basic/basic011/Dots3.idr
diff --git a/tests/idris2/basic011/expected → tests/idris2/basic/basic011/expected b/tests/idris2/basic011/expected → tests/idris2/basic/basic011/expected
diff --git a/tests/idris2/basic/basic011/run b/tests/idris2/basic/basic011/run
@@ -0,0 +1,5 @@
+. ../../../testutils.sh
+
+check Dots1.idr
+check Dots2.idr
+check Dots3.idr
diff --git a/tests/idris2/basic012/VIndex.idr → tests/idris2/basic/basic012/VIndex.idr b/tests/idris2/basic012/VIndex.idr → tests/idris2/basic/basic012/VIndex.idr
diff --git a/tests/idris2/basic012/expected → tests/idris2/basic/basic012/expected b/tests/idris2/basic012/expected → tests/idris2/basic/basic012/expected
diff --git a/tests/idris2/basic/basic012/run b/tests/idris2/basic/basic012/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check VIndex.idr
diff --git a/tests/idris2/basic013/Implicits.idr → tests/idris2/basic/basic013/Implicits.idr b/tests/idris2/basic013/Implicits.idr → tests/idris2/basic/basic013/Implicits.idr
diff --git a/tests/idris2/basic013/expected → tests/idris2/basic/basic013/expected b/tests/idris2/basic013/expected → tests/idris2/basic/basic013/expected
diff --git a/tests/idris2/basic/basic013/run b/tests/idris2/basic/basic013/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check Implicits.idr
diff --git a/tests/idris2/basic014/Rewrite.idr → tests/idris2/basic/basic014/Rewrite.idr b/tests/idris2/basic014/Rewrite.idr → tests/idris2/basic/basic014/Rewrite.idr
diff --git a/tests/idris2/basic014/expected → tests/idris2/basic/basic014/expected b/tests/idris2/basic014/expected → tests/idris2/basic/basic014/expected
diff --git a/tests/idris2/basic/basic014/run b/tests/idris2/basic/basic014/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check Rewrite.idr
diff --git a/tests/idris2/basic015/George.idr → tests/idris2/basic/basic015/George.idr b/tests/idris2/basic015/George.idr → tests/idris2/basic/basic015/George.idr
diff --git a/tests/idris2/basic015/expected → tests/idris2/basic/basic015/expected b/tests/idris2/basic015/expected → tests/idris2/basic/basic015/expected
diff --git a/tests/idris2/basic/basic015/run b/tests/idris2/basic/basic015/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check George.idr
diff --git a/tests/idris2/basic016/Eta.idr → tests/idris2/basic/basic016/Eta.idr b/tests/idris2/basic016/Eta.idr → tests/idris2/basic/basic016/Eta.idr
diff --git a/tests/idris2/basic016/Eta2.idr → tests/idris2/basic/basic016/Eta2.idr b/tests/idris2/basic016/Eta2.idr → tests/idris2/basic/basic016/Eta2.idr
diff --git a/tests/idris2/basic016/expected → tests/idris2/basic/basic016/expected b/tests/idris2/basic016/expected → tests/idris2/basic/basic016/expected
diff --git a/tests/idris2/basic/basic016/run b/tests/idris2/basic/basic016/run
@@ -0,0 +1,4 @@
+. ../../../testutils.sh
+
+check Eta.idr
+check Eta2.idr
diff --git a/tests/idris2/basic017/CaseInf.idr → tests/idris2/basic/basic017/CaseInf.idr b/tests/idris2/basic017/CaseInf.idr → tests/idris2/basic/basic017/CaseInf.idr
diff --git a/tests/idris2/basic017/expected → tests/idris2/basic/basic017/expected b/tests/idris2/basic017/expected → tests/idris2/basic/basic017/expected
diff --git a/tests/idris2/basic017/input → tests/idris2/basic/basic017/input b/tests/idris2/basic017/input → tests/idris2/basic/basic017/input
diff --git a/tests/idris2/basic/basic017/run b/tests/idris2/basic/basic017/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 CaseInf.idr < input
diff --git a/tests/idris2/basic018/Fin.idr → tests/idris2/basic/basic018/Fin.idr b/tests/idris2/basic018/Fin.idr → tests/idris2/basic/basic018/Fin.idr
diff --git a/tests/idris2/basic018/expected → tests/idris2/basic/basic018/expected b/tests/idris2/basic018/expected → tests/idris2/basic/basic018/expected
diff --git a/tests/idris2/basic/basic018/run b/tests/idris2/basic/basic018/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check Fin.idr
diff --git a/tests/idris2/basic019/CaseBlock.idr → tests/idris2/basic/basic019/CaseBlock.idr b/tests/idris2/basic019/CaseBlock.idr → tests/idris2/basic/basic019/CaseBlock.idr
diff --git a/tests/idris2/basic019/expected → tests/idris2/basic/basic019/expected b/tests/idris2/basic019/expected → tests/idris2/basic/basic019/expected
diff --git a/tests/idris2/basic019/input → tests/idris2/basic/basic019/input b/tests/idris2/basic019/input → tests/idris2/basic/basic019/input
diff --git a/tests/idris2/basic/basic019/run b/tests/idris2/basic/basic019/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 CaseBlock.idr < input
diff --git a/tests/idris2/basic020/Mut.idr → tests/idris2/basic/basic020/Mut.idr b/tests/idris2/basic020/Mut.idr → tests/idris2/basic/basic020/Mut.idr
diff --git a/tests/idris2/basic020/expected → tests/idris2/basic/basic020/expected b/tests/idris2/basic020/expected → tests/idris2/basic/basic020/expected
diff --git a/tests/idris2/basic020/input → tests/idris2/basic/basic020/input b/tests/idris2/basic020/input → tests/idris2/basic/basic020/input
diff --git a/tests/idris2/basic/basic020/run b/tests/idris2/basic/basic020/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 Mut.idr < input
diff --git a/tests/idris2/basic021/CaseDep.idr → tests/idris2/basic/basic021/CaseDep.idr b/tests/idris2/basic021/CaseDep.idr → tests/idris2/basic/basic021/CaseDep.idr
diff --git a/tests/idris2/basic021/expected → tests/idris2/basic/basic021/expected b/tests/idris2/basic021/expected → tests/idris2/basic/basic021/expected
diff --git a/tests/idris2/basic021/input → tests/idris2/basic/basic021/input b/tests/idris2/basic021/input → tests/idris2/basic/basic021/input
diff --git a/tests/idris2/basic/basic021/run b/tests/idris2/basic/basic021/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 CaseDep.idr < input
diff --git a/tests/idris2/basic022/Erase.idr → tests/idris2/basic/basic022/Erase.idr b/tests/idris2/basic022/Erase.idr → tests/idris2/basic/basic022/Erase.idr
diff --git a/tests/idris2/basic022/expected → tests/idris2/basic/basic022/expected b/tests/idris2/basic022/expected → tests/idris2/basic/basic022/expected
diff --git a/tests/idris2/basic022/input → tests/idris2/basic/basic022/input b/tests/idris2/basic022/input → tests/idris2/basic/basic022/input
diff --git a/tests/idris2/basic/basic022/run b/tests/idris2/basic/basic022/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 Erase.idr < input
diff --git a/tests/idris2/basic023/Params.idr → tests/idris2/basic/basic023/Params.idr b/tests/idris2/basic023/Params.idr → tests/idris2/basic/basic023/Params.idr
diff --git a/tests/idris2/basic023/expected → tests/idris2/basic/basic023/expected b/tests/idris2/basic023/expected → tests/idris2/basic/basic023/expected
diff --git a/tests/idris2/basic023/input → tests/idris2/basic/basic023/input b/tests/idris2/basic023/input → tests/idris2/basic/basic023/input
diff --git a/tests/idris2/basic/basic023/run b/tests/idris2/basic/basic023/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 Params.idr < input
diff --git a/tests/idris2/basic024/PatLam.idr → tests/idris2/basic/basic024/PatLam.idr b/tests/idris2/basic024/PatLam.idr → tests/idris2/basic/basic024/PatLam.idr
diff --git a/tests/idris2/basic024/expected → tests/idris2/basic/basic024/expected b/tests/idris2/basic024/expected → tests/idris2/basic/basic024/expected
diff --git a/tests/idris2/basic024/input → tests/idris2/basic/basic024/input b/tests/idris2/basic024/input → tests/idris2/basic/basic024/input
diff --git a/tests/idris2/basic/basic024/run b/tests/idris2/basic/basic024/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 PatLam.idr < input
diff --git a/tests/idris2/basic025/expected → tests/idris2/basic/basic025/expected b/tests/idris2/basic025/expected → tests/idris2/basic/basic025/expected
diff --git a/tests/idris2/basic025/input → tests/idris2/basic/basic025/input b/tests/idris2/basic025/input → tests/idris2/basic/basic025/input
diff --git a/tests/idris2/basic/basic025/run b/tests/idris2/basic/basic025/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 < input
diff --git a/tests/idris2/basic026/Erl.idr → tests/idris2/basic/basic026/Erl.idr b/tests/idris2/basic026/Erl.idr → tests/idris2/basic/basic026/Erl.idr
diff --git a/tests/idris2/basic026/expected → tests/idris2/basic/basic026/expected b/tests/idris2/basic026/expected → tests/idris2/basic/basic026/expected
diff --git a/tests/idris2/basic/basic026/run b/tests/idris2/basic/basic026/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check Erl.idr
diff --git a/tests/idris2/basic027/Temp.idr → tests/idris2/basic/basic027/Temp.idr b/tests/idris2/basic027/Temp.idr → tests/idris2/basic/basic027/Temp.idr
diff --git a/tests/idris2/basic027/expected → tests/idris2/basic/basic027/expected b/tests/idris2/basic027/expected → tests/idris2/basic/basic027/expected
diff --git a/tests/idris2/basic/basic027/run b/tests/idris2/basic/basic027/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check Temp.idr
diff --git a/tests/idris2/basic028/Do.idr → tests/idris2/basic/basic028/Do.idr b/tests/idris2/basic028/Do.idr → tests/idris2/basic/basic028/Do.idr
diff --git a/tests/idris2/basic028/expected → tests/idris2/basic/basic028/expected b/tests/idris2/basic028/expected → tests/idris2/basic/basic028/expected
diff --git a/tests/idris2/basic028/input → tests/idris2/basic/basic028/input b/tests/idris2/basic028/input → tests/idris2/basic/basic028/input
diff --git a/tests/idris2/basic/basic028/run b/tests/idris2/basic/basic028/run
@@ -0,0 +1,5 @@
+. ../../../testutils.sh
+
+unset IDRIS2_PATH
+
+idris2 --no-prelude < input
diff --git a/tests/idris2/basic029/Params.idr → tests/idris2/basic/basic029/Params.idr b/tests/idris2/basic029/Params.idr → tests/idris2/basic/basic029/Params.idr
diff --git a/tests/idris2/basic029/expected → tests/idris2/basic/basic029/expected b/tests/idris2/basic029/expected → tests/idris2/basic/basic029/expected
diff --git a/tests/idris2/basic029/input → tests/idris2/basic/basic029/input b/tests/idris2/basic029/input → tests/idris2/basic/basic029/input
diff --git a/tests/idris2/basic/basic029/run b/tests/idris2/basic/basic029/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 Params.idr < input
diff --git a/tests/idris2/basic030/arity.idr → tests/idris2/basic/basic030/arity.idr b/tests/idris2/basic030/arity.idr → tests/idris2/basic/basic030/arity.idr
diff --git a/tests/idris2/basic030/expected → tests/idris2/basic/basic030/expected b/tests/idris2/basic030/expected → tests/idris2/basic/basic030/expected
diff --git a/tests/idris2/basic/basic030/run b/tests/idris2/basic/basic030/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check arity.idr
diff --git a/tests/idris2/basic031/erased.idr → tests/idris2/basic/basic031/erased.idr b/tests/idris2/basic031/erased.idr → tests/idris2/basic/basic031/erased.idr
diff --git a/tests/idris2/basic031/expected → tests/idris2/basic/basic031/expected b/tests/idris2/basic031/expected → tests/idris2/basic/basic031/expected
diff --git a/tests/idris2/basic/basic031/run b/tests/idris2/basic/basic031/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check erased.idr
diff --git a/tests/idris2/basic032/Idiom.idr → tests/idris2/basic/basic032/Idiom.idr b/tests/idris2/basic032/Idiom.idr → tests/idris2/basic/basic032/Idiom.idr
diff --git a/tests/idris2/basic032/Idiom2.idr → tests/idris2/basic/basic032/Idiom2.idr b/tests/idris2/basic032/Idiom2.idr → tests/idris2/basic/basic032/Idiom2.idr
diff --git a/tests/idris2/basic032/expected → tests/idris2/basic/basic032/expected b/tests/idris2/basic032/expected → tests/idris2/basic/basic032/expected
diff --git a/tests/idris2/basic032/input → tests/idris2/basic/basic032/input b/tests/idris2/basic032/input → tests/idris2/basic/basic032/input
diff --git a/tests/idris2/basic/basic032/run b/tests/idris2/basic/basic032/run
@@ -0,0 +1,4 @@
+. ../../../testutils.sh
+
+idris2 Idiom.idr < input
+check Idiom2.idr
diff --git a/tests/idris2/basic033/expected → tests/idris2/basic/basic033/expected b/tests/idris2/basic033/expected → tests/idris2/basic/basic033/expected
diff --git a/tests/idris2/basic/basic033/run b/tests/idris2/basic/basic033/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check unboundimps.idr
diff --git a/tests/idris2/basic033/unboundimps.idr → tests/idris2/basic/basic033/unboundimps.idr b/tests/idris2/basic033/unboundimps.idr → tests/idris2/basic/basic033/unboundimps.idr
diff --git a/tests/idris2/basic034/expected → tests/idris2/basic/basic034/expected b/tests/idris2/basic034/expected → tests/idris2/basic/basic034/expected
diff --git a/tests/idris2/basic034/lets.idr → tests/idris2/basic/basic034/lets.idr b/tests/idris2/basic034/lets.idr → tests/idris2/basic/basic034/lets.idr
diff --git a/tests/idris2/basic/basic034/run b/tests/idris2/basic/basic034/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check lets.idr
diff --git a/tests/idris2/basic035/expected → tests/idris2/basic/basic035/expected b/tests/idris2/basic035/expected → tests/idris2/basic/basic035/expected
diff --git a/tests/idris2/basic035/input → tests/idris2/basic/basic035/input b/tests/idris2/basic035/input → tests/idris2/basic/basic035/input
diff --git a/tests/idris2/basic/basic035/run b/tests/idris2/basic/basic035/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 using.idr < input
diff --git a/tests/idris2/basic035/using.idr → tests/idris2/basic/basic035/using.idr b/tests/idris2/basic035/using.idr → tests/idris2/basic/basic035/using.idr
diff --git a/tests/idris2/basic036/defimp.idr → tests/idris2/basic/basic036/defimp.idr b/tests/idris2/basic036/defimp.idr → tests/idris2/basic/basic036/defimp.idr
diff --git a/tests/idris2/basic036/expected → tests/idris2/basic/basic036/expected b/tests/idris2/basic036/expected → tests/idris2/basic/basic036/expected
diff --git a/tests/idris2/basic036/input → tests/idris2/basic/basic036/input b/tests/idris2/basic036/input → tests/idris2/basic/basic036/input
diff --git a/tests/idris2/basic/basic036/run b/tests/idris2/basic/basic036/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 defimp.idr < input
diff --git a/tests/idris2/basic037/Comments.idr → tests/idris2/basic/basic037/Comments.idr b/tests/idris2/basic037/Comments.idr → tests/idris2/basic/basic037/Comments.idr
diff --git a/tests/idris2/basic037/Issue279.idr → tests/idris2/basic/basic037/Issue279.idr b/tests/idris2/basic037/Issue279.idr → tests/idris2/basic/basic037/Issue279.idr
diff --git a/tests/idris2/basic037/expected → tests/idris2/basic/basic037/expected b/tests/idris2/basic037/expected → tests/idris2/basic/basic037/expected
diff --git a/tests/idris2/basic/basic037/run b/tests/idris2/basic/basic037/run
@@ -0,0 +1,4 @@
+. ../../../testutils.sh
+
+echo ':q' | idris2 --no-prelude Comments.idr
+echo ':q' | idris2 Issue279.idr
diff --git a/tests/idris2/basic038/Resugar.idr → tests/idris2/basic/basic038/Resugar.idr b/tests/idris2/basic038/Resugar.idr → tests/idris2/basic/basic038/Resugar.idr
diff --git a/tests/idris2/basic038/expected → tests/idris2/basic/basic038/expected b/tests/idris2/basic038/expected → tests/idris2/basic/basic038/expected
diff --git a/tests/idris2/basic038/input → tests/idris2/basic/basic038/input b/tests/idris2/basic038/input → tests/idris2/basic/basic038/input
diff --git a/tests/idris2/basic/basic038/run b/tests/idris2/basic/basic038/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 Resugar.idr < input
diff --git a/tests/idris2/basic039/Main.idr → tests/idris2/basic/basic039/Main.idr b/tests/idris2/basic039/Main.idr → tests/idris2/basic/basic039/Main.idr
diff --git a/tests/idris2/basic039/expected → tests/idris2/basic/basic039/expected b/tests/idris2/basic039/expected → tests/idris2/basic/basic039/expected
diff --git a/tests/idris2/basic039/input → tests/idris2/basic/basic039/input b/tests/idris2/basic039/input → tests/idris2/basic/basic039/input
diff --git a/tests/idris2/basic/basic039/run b/tests/idris2/basic/basic039/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 Main.idr < input
diff --git a/tests/idris2/basic040/Default.idr → tests/idris2/basic/basic040/Default.idr b/tests/idris2/basic040/Default.idr → tests/idris2/basic/basic040/Default.idr
diff --git a/tests/idris2/basic040/expected → tests/idris2/basic/basic040/expected b/tests/idris2/basic040/expected → tests/idris2/basic/basic040/expected
diff --git a/tests/idris2/basic/basic040/run b/tests/idris2/basic/basic040/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+echo ":q" | idris2 Default.idr
diff --git a/tests/idris2/basic041/QDo.idr → tests/idris2/basic/basic041/QDo.idr b/tests/idris2/basic041/QDo.idr → tests/idris2/basic/basic041/QDo.idr
diff --git a/tests/idris2/basic041/expected → tests/idris2/basic/basic041/expected b/tests/idris2/basic041/expected → tests/idris2/basic/basic041/expected
diff --git a/tests/idris2/basic/basic041/run b/tests/idris2/basic/basic041/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check QDo.idr
diff --git a/tests/idris2/basic042/LiteralsInteger.idr → ...idris2/basic/basic042/LiteralsInteger.idr b/tests/idris2/basic042/LiteralsInteger.idr → ...idris2/basic/basic042/LiteralsInteger.idr
diff --git a/tests/idris2/basic042/LiteralsString.idr → .../idris2/basic/basic042/LiteralsString.idr b/tests/idris2/basic042/LiteralsString.idr → .../idris2/basic/basic042/LiteralsString.idr
diff --git a/tests/idris2/basic042/expected → tests/idris2/basic/basic042/expected b/tests/idris2/basic042/expected → tests/idris2/basic/basic042/expected
diff --git a/tests/idris2/basic042/input → tests/idris2/basic/basic042/input b/tests/idris2/basic042/input → tests/idris2/basic/basic042/input
diff --git a/tests/idris2/basic042/input2 → tests/idris2/basic/basic042/input2 b/tests/idris2/basic042/input2 → tests/idris2/basic/basic042/input2
diff --git a/tests/idris2/basic/basic042/run b/tests/idris2/basic/basic042/run
@@ -0,0 +1,4 @@
+. ../../../testutils.sh
+
+idris2 LiteralsString.idr < input
+idris2 LiteralsInteger.idr < input2
diff --git a/tests/idris2/basic043/BitCasts.idr → tests/idris2/basic/basic043/BitCasts.idr b/tests/idris2/basic043/BitCasts.idr → tests/idris2/basic/basic043/BitCasts.idr
diff --git a/tests/idris2/basic043/expected → tests/idris2/basic/basic043/expected b/tests/idris2/basic043/expected → tests/idris2/basic/basic043/expected
diff --git a/tests/idris2/basic043/input → tests/idris2/basic/basic043/input b/tests/idris2/basic043/input → tests/idris2/basic/basic043/input
diff --git a/tests/idris2/basic/basic043/run b/tests/idris2/basic/basic043/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 BitCasts.idr < input
diff --git a/tests/idris2/basic044/Term.idr → tests/idris2/basic/basic044/Term.idr b/tests/idris2/basic044/Term.idr → tests/idris2/basic/basic044/Term.idr
diff --git a/tests/idris2/basic044/Vec.idr → tests/idris2/basic/basic044/Vec.idr b/tests/idris2/basic044/Vec.idr → tests/idris2/basic/basic044/Vec.idr
diff --git a/tests/idris2/basic044/expected → tests/idris2/basic/basic044/expected b/tests/idris2/basic044/expected → tests/idris2/basic/basic044/expected
diff --git a/tests/idris2/basic/basic044/run b/tests/idris2/basic/basic044/run
@@ -0,0 +1,8 @@
+. ../../../testutils.sh
+
+echo ":q" | idris2 --log unify.equal:10 --log unify:5 Term.idr \
+  | sed -E "s/[0-9]+}/N}/g" | sed -E "s/resolved([0-9]+)/resolvedN/g" \
+  | sed -E "s/case in ([0-9]+)/case in N/g" | sed -E "s/[0-9]+:[0-9]+/L:C/g"
+echo ":q" | idris2 --log unify:3 --log elab.ambiguous:5 Vec.idr \
+  | sed -E "s/[0-9]+}/N}/g" | sed -E "s/resolved([0-9]+)/resolvedN/g" \
+  | sed -E "s/case in ([0-9]+)/case in N/g" | sed -E "s/[0-9]+:[0-9]+/L:C/g"
diff --git a/tests/idris2/basic045/Main.idr → tests/idris2/basic/basic045/Main.idr b/tests/idris2/basic045/Main.idr → tests/idris2/basic/basic045/Main.idr
diff --git a/tests/idris2/basic045/expected → tests/idris2/basic/basic045/expected b/tests/idris2/basic045/expected → tests/idris2/basic/basic045/expected
diff --git a/tests/idris2/basic/basic045/run b/tests/idris2/basic/basic045/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check Main.idr
diff --git a/tests/idris2/basic046/TupleSections.idr → ...s/idris2/basic/basic046/TupleSections.idr b/tests/idris2/basic046/TupleSections.idr → ...s/idris2/basic/basic046/TupleSections.idr
diff --git a/tests/idris2/basic046/expected → tests/idris2/basic/basic046/expected b/tests/idris2/basic046/expected → tests/idris2/basic/basic046/expected
diff --git a/tests/idris2/basic046/input → tests/idris2/basic/basic046/input b/tests/idris2/basic046/input → tests/idris2/basic/basic046/input
diff --git a/tests/idris2/basic/basic046/run b/tests/idris2/basic/basic046/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 TupleSections.idr < input
diff --git a/tests/idris2/basic047/InterleavingLets.idr → ...dris2/basic/basic047/InterleavingLets.idr b/tests/idris2/basic047/InterleavingLets.idr → ...dris2/basic/basic047/InterleavingLets.idr
diff --git a/tests/idris2/basic047/expected → tests/idris2/basic/basic047/expected b/tests/idris2/basic047/expected → tests/idris2/basic/basic047/expected
diff --git a/tests/idris2/basic047/input → tests/idris2/basic/basic047/input b/tests/idris2/basic047/input → tests/idris2/basic/basic047/input
diff --git a/tests/idris2/basic/basic047/run b/tests/idris2/basic/basic047/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 InterleavingLets.idr < input
diff --git a/tests/idris2/basic049/Fld.idr → tests/idris2/basic/basic049/Fld.idr b/tests/idris2/basic049/Fld.idr → tests/idris2/basic/basic049/Fld.idr
diff --git a/tests/idris2/basic049/expected → tests/idris2/basic/basic049/expected b/tests/idris2/basic049/expected → tests/idris2/basic/basic049/expected
diff --git a/tests/idris2/basic049/input → tests/idris2/basic/basic049/input b/tests/idris2/basic049/input → tests/idris2/basic/basic049/input
diff --git a/tests/idris2/basic/basic049/run b/tests/idris2/basic/basic049/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 Fld.idr < input
diff --git a/tests/idris2/basic050/Ilc.idr → tests/idris2/basic/basic050/Ilc.idr b/tests/idris2/basic050/Ilc.idr → tests/idris2/basic/basic050/Ilc.idr
diff --git a/tests/idris2/basic050/expected → tests/idris2/basic/basic050/expected b/tests/idris2/basic050/expected → tests/idris2/basic/basic050/expected
diff --git a/tests/idris2/basic050/input → tests/idris2/basic/basic050/input b/tests/idris2/basic050/input → tests/idris2/basic/basic050/input
diff --git a/tests/idris2/basic/basic050/run b/tests/idris2/basic/basic050/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 Ilc.idr < input
diff --git a/tests/idris2/basic051/Issue833.idr → tests/idris2/basic/basic051/Issue833.idr b/tests/idris2/basic051/Issue833.idr → tests/idris2/basic/basic051/Issue833.idr
diff --git a/tests/idris2/basic051/expected → tests/idris2/basic/basic051/expected b/tests/idris2/basic051/expected → tests/idris2/basic/basic051/expected
diff --git a/tests/idris2/basic/basic051/run b/tests/idris2/basic/basic051/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check Issue833.idr
diff --git a/tests/idris2/basic052/DoubleClBrace.idr → ...s/idris2/basic/basic052/DoubleClBrace.idr b/tests/idris2/basic052/DoubleClBrace.idr → ...s/idris2/basic/basic052/DoubleClBrace.idr
diff --git a/tests/idris2/basic052/expected → tests/idris2/basic/basic052/expected b/tests/idris2/basic052/expected → tests/idris2/basic/basic052/expected
diff --git a/tests/idris2/basic052/input → tests/idris2/basic/basic052/input b/tests/idris2/basic052/input → tests/idris2/basic/basic052/input
diff --git a/tests/idris2/basic/basic052/run b/tests/idris2/basic/basic052/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 DoubleClBrace.idr < input
diff --git a/...2/basic053/UnderscoredIntegerLiterals.idr → ...c/basic053/UnderscoredIntegerLiterals.idr b/...2/basic053/UnderscoredIntegerLiterals.idr → ...c/basic053/UnderscoredIntegerLiterals.idr
diff --git a/tests/idris2/basic053/expected → tests/idris2/basic/basic053/expected b/tests/idris2/basic053/expected → tests/idris2/basic/basic053/expected
diff --git a/tests/idris2/basic053/input → tests/idris2/basic/basic053/input b/tests/idris2/basic053/input → tests/idris2/basic/basic053/input
diff --git a/tests/idris2/basic/basic053/run b/tests/idris2/basic/basic053/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 UnderscoredIntegerLiterals.idr < input
diff --git a/tests/idris2/basic054/Issue1023.idr → tests/idris2/basic/basic054/Issue1023.idr b/tests/idris2/basic054/Issue1023.idr → tests/idris2/basic/basic054/Issue1023.idr
diff --git a/tests/idris2/basic054/expected → tests/idris2/basic/basic054/expected b/tests/idris2/basic054/expected → tests/idris2/basic/basic054/expected
diff --git a/tests/idris2/basic/basic054/run b/tests/idris2/basic/basic054/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+run Issue1023.idr
diff --git a/tests/idris2/basic055/BitOps.idr → tests/idris2/basic/basic055/BitOps.idr b/tests/idris2/basic055/BitOps.idr → tests/idris2/basic/basic055/BitOps.idr
diff --git a/tests/idris2/basic055/expected → tests/idris2/basic/basic055/expected b/tests/idris2/basic055/expected → tests/idris2/basic/basic055/expected
diff --git a/tests/idris2/basic/basic055/run b/tests/idris2/basic/basic055/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+run BitOps.idr
diff --git a/tests/idris2/basic056/DoubleLit.idr → tests/idris2/basic/basic056/DoubleLit.idr b/tests/idris2/basic056/DoubleLit.idr → tests/idris2/basic/basic056/DoubleLit.idr
diff --git a/tests/idris2/basic056/expected → tests/idris2/basic/basic056/expected b/tests/idris2/basic056/expected → tests/idris2/basic/basic056/expected
diff --git a/tests/idris2/basic/basic056/run b/tests/idris2/basic/basic056/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+run DoubleLit.idr
diff --git a/tests/idris2/basic057/LetIn.idr → tests/idris2/basic/basic057/LetIn.idr b/tests/idris2/basic057/LetIn.idr → tests/idris2/basic/basic057/LetIn.idr
diff --git a/tests/idris2/basic057/expected → tests/idris2/basic/basic057/expected b/tests/idris2/basic057/expected → tests/idris2/basic/basic057/expected
diff --git a/tests/idris2/basic/basic057/run b/tests/idris2/basic/basic057/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check LetIn.idr
diff --git a/tests/idris2/basic058/DataTypeOp.idr → tests/idris2/basic/basic058/DataTypeOp.idr b/tests/idris2/basic058/DataTypeOp.idr → tests/idris2/basic/basic058/DataTypeOp.idr
diff --git a/tests/idris2/basic058/DataTypeProj.idr → tests/idris2/basic/basic058/DataTypeProj.idr b/tests/idris2/basic058/DataTypeProj.idr → tests/idris2/basic/basic058/DataTypeProj.idr
diff --git a/tests/idris2/basic058/expected → tests/idris2/basic/basic058/expected b/tests/idris2/basic058/expected → tests/idris2/basic/basic058/expected
diff --git a/tests/idris2/basic/basic058/run b/tests/idris2/basic/basic058/run
@@ -0,0 +1,4 @@
+. ../../../testutils.sh
+
+check DataTypeOp.idr
+check DataTypeProj.idr
diff --git a/tests/idris2/basic059/MultiClaim.idr → tests/idris2/basic/basic059/MultiClaim.idr b/tests/idris2/basic059/MultiClaim.idr → tests/idris2/basic/basic059/MultiClaim.idr
diff --git a/tests/idris2/basic059/expected → tests/idris2/basic/basic059/expected b/tests/idris2/basic059/expected → tests/idris2/basic/basic059/expected
diff --git a/tests/idris2/basic/basic059/run b/tests/idris2/basic/basic059/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check MultiClaim.idr
diff --git a/tests/idris2/basic060/Snoc.idr → tests/idris2/basic/basic060/Snoc.idr b/tests/idris2/basic060/Snoc.idr → tests/idris2/basic/basic060/Snoc.idr
diff --git a/tests/idris2/basic060/expected → tests/idris2/basic/basic060/expected b/tests/idris2/basic060/expected → tests/idris2/basic/basic060/expected
diff --git a/tests/idris2/basic060/input → tests/idris2/basic/basic060/input b/tests/idris2/basic060/input → tests/idris2/basic/basic060/input
diff --git a/tests/idris2/basic/basic060/run b/tests/idris2/basic/basic060/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 Snoc.idr < input
diff --git a/tests/idris2/basic061/IgnoreDo.idr → tests/idris2/basic/basic061/IgnoreDo.idr b/tests/idris2/basic061/IgnoreDo.idr → tests/idris2/basic/basic061/IgnoreDo.idr
diff --git a/tests/idris2/basic061/expected → tests/idris2/basic/basic061/expected b/tests/idris2/basic061/expected → tests/idris2/basic/basic061/expected
diff --git a/tests/idris2/basic061/input → tests/idris2/basic/basic061/input b/tests/idris2/basic061/input → tests/idris2/basic/basic061/input
diff --git a/tests/idris2/basic/basic061/run b/tests/idris2/basic/basic061/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 IgnoreDo.idr < input
diff --git a/tests/idris2/basic062/Issue1943.idr → tests/idris2/basic/basic062/Issue1943.idr b/tests/idris2/basic062/Issue1943.idr → tests/idris2/basic/basic062/Issue1943.idr
diff --git a/tests/idris2/basic062/expected → tests/idris2/basic/basic062/expected b/tests/idris2/basic062/expected → tests/idris2/basic/basic062/expected
diff --git a/tests/idris2/basic/basic062/run b/tests/idris2/basic/basic062/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check Issue1943.idr
diff --git a/tests/idris2/basic063/NoDeclaration.idr → ...s/idris2/basic/basic063/NoDeclaration.idr b/tests/idris2/basic063/NoDeclaration.idr → ...s/idris2/basic/basic063/NoDeclaration.idr
diff --git a/tests/idris2/basic063/expected → tests/idris2/basic/basic063/expected b/tests/idris2/basic063/expected → tests/idris2/basic/basic063/expected
diff --git a/tests/idris2/basic063/input → tests/idris2/basic/basic063/input b/tests/idris2/basic063/input → tests/idris2/basic/basic063/input
diff --git a/tests/idris2/basic/basic063/run b/tests/idris2/basic/basic063/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 NoDeclaration.idr < input
diff --git a/tests/idris2/basic064/Issue2072.idr → tests/idris2/basic/basic064/Issue2072.idr b/tests/idris2/basic064/Issue2072.idr → tests/idris2/basic/basic064/Issue2072.idr
diff --git a/tests/idris2/basic064/expected → tests/idris2/basic/basic064/expected b/tests/idris2/basic064/expected → tests/idris2/basic/basic064/expected
diff --git a/tests/idris2/basic064/input → tests/idris2/basic/basic064/input b/tests/idris2/basic064/input → tests/idris2/basic/basic064/input
diff --git a/tests/idris2/basic/basic064/run b/tests/idris2/basic/basic064/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 Issue2072.idr < input
diff --git a/tests/idris2/basic065/Issue215.idr → tests/idris2/basic/basic065/Issue215.idr b/tests/idris2/basic065/Issue215.idr → tests/idris2/basic/basic065/Issue215.idr
diff --git a/tests/idris2/basic065/expected → tests/idris2/basic/basic065/expected b/tests/idris2/basic065/expected → tests/idris2/basic/basic065/expected
diff --git a/tests/idris2/basic/basic065/run b/tests/idris2/basic/basic065/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check Issue215.idr
diff --git a/tests/idris2/basic066/comment.idr → tests/idris2/basic/basic066/comment.idr b/tests/idris2/basic066/comment.idr → tests/idris2/basic/basic066/comment.idr
diff --git a/tests/idris2/basic066/expected → tests/idris2/basic/basic066/expected b/tests/idris2/basic066/expected → tests/idris2/basic/basic066/expected
diff --git a/tests/idris2/basic/basic066/run b/tests/idris2/basic/basic066/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check comment.idr
diff --git a/tests/idris2/basic067/expected → tests/idris2/basic/basic067/expected b/tests/idris2/basic067/expected → tests/idris2/basic/basic067/expected
diff --git a/tests/idris2/basic067/input → tests/idris2/basic/basic067/input b/tests/idris2/basic067/input → tests/idris2/basic/basic067/input
diff --git a/tests/idris2/basic/basic067/run b/tests/idris2/basic/basic067/run
@@ -0,0 +1,8 @@
+. ../../../testutils.sh
+
+echo "unclosed1.idr"
+idris2 unclosed1.idr < input
+echo "unclosed2.idr"
+idris2 unclosed2.idr < input
+echo "unclosed3.idr"
+idris2 unclosed3.idr < input
diff --git a/tests/idris2/basic067/unclosed1.idr → tests/idris2/basic/basic067/unclosed1.idr b/tests/idris2/basic067/unclosed1.idr → tests/idris2/basic/basic067/unclosed1.idr
diff --git a/tests/idris2/basic067/unclosed2.idr → tests/idris2/basic/basic067/unclosed2.idr b/tests/idris2/basic067/unclosed2.idr → tests/idris2/basic/basic067/unclosed2.idr
diff --git a/tests/idris2/basic067/unclosed3.idr → tests/idris2/basic/basic067/unclosed3.idr b/tests/idris2/basic067/unclosed3.idr → tests/idris2/basic/basic067/unclosed3.idr
diff --git a/tests/idris2/basic068/Issue2138.idr → tests/idris2/basic/basic068/Issue2138.idr b/tests/idris2/basic068/Issue2138.idr → tests/idris2/basic/basic068/Issue2138.idr
diff --git a/tests/idris2/basic068/expected → tests/idris2/basic/basic068/expected b/tests/idris2/basic068/expected → tests/idris2/basic/basic068/expected
diff --git a/tests/idris2/basic/basic068/run b/tests/idris2/basic/basic068/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+run Issue2138.idr
diff --git a/tests/idris2/basic069/DebugInfo.idr → tests/idris2/basic/basic069/DebugInfo.idr b/tests/idris2/basic069/DebugInfo.idr → tests/idris2/basic/basic069/DebugInfo.idr
diff --git a/tests/idris2/basic069/expected → tests/idris2/basic/basic069/expected b/tests/idris2/basic069/expected → tests/idris2/basic/basic069/expected
diff --git a/tests/idris2/basic/basic069/run b/tests/idris2/basic/basic069/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+run DebugInfo.idr
diff --git a/tests/idris2/basic070/Issue2592.idr → tests/idris2/basic/basic070/Issue2592.idr b/tests/idris2/basic070/Issue2592.idr → tests/idris2/basic/basic070/Issue2592.idr
diff --git a/tests/idris2/basic070/Issue2593.idr → tests/idris2/basic/basic070/Issue2593.idr b/tests/idris2/basic070/Issue2593.idr → tests/idris2/basic/basic070/Issue2593.idr
diff --git a/tests/idris2/basic070/Issue2782.idr → tests/idris2/basic/basic070/Issue2782.idr b/tests/idris2/basic070/Issue2782.idr → tests/idris2/basic/basic070/Issue2782.idr
diff --git a/tests/idris2/basic070/Issue3016.idr → tests/idris2/basic/basic070/Issue3016.idr b/tests/idris2/basic070/Issue3016.idr → tests/idris2/basic/basic070/Issue3016.idr
diff --git a/tests/idris2/basic070/expected → tests/idris2/basic/basic070/expected b/tests/idris2/basic070/expected → tests/idris2/basic/basic070/expected
diff --git a/tests/idris2/basic/basic070/run b/tests/idris2/basic/basic070/run
@@ -0,0 +1,6 @@
+. ../../../testutils.sh
+
+check Issue3016.idr
+check Issue2782.idr
+check Issue2592.idr
+check Issue2593.idr
diff --git a/tests/idris2/basic071/A.idr → tests/idris2/basic/basic071/A.idr b/tests/idris2/basic071/A.idr → tests/idris2/basic/basic071/A.idr
diff --git a/tests/idris2/basic071/B.idr → tests/idris2/basic/basic071/B.idr b/tests/idris2/basic071/B.idr → tests/idris2/basic/basic071/B.idr
diff --git a/tests/idris2/basic071/expected → tests/idris2/basic/basic071/expected b/tests/idris2/basic071/expected → tests/idris2/basic/basic071/expected
diff --git a/tests/idris2/basic071/run → tests/idris2/basic/basic071/run b/tests/idris2/basic071/run → tests/idris2/basic/basic071/run
diff --git a/tests/idris2/case001/InlineCase.idr → tests/idris2/basic/case001/InlineCase.idr b/tests/idris2/case001/InlineCase.idr → tests/idris2/basic/case001/InlineCase.idr
diff --git a/tests/idris2/case001/expected → tests/idris2/basic/case001/expected b/tests/idris2/case001/expected → tests/idris2/basic/case001/expected
diff --git a/tests/idris2/case001/run → tests/idris2/basic/case001/run b/tests/idris2/case001/run → tests/idris2/basic/case001/run
diff --git a/tests/idris2/dotted001/Issue2726.idr → tests/idris2/basic/dotted001/Issue2726.idr b/tests/idris2/dotted001/Issue2726.idr → tests/idris2/basic/dotted001/Issue2726.idr
diff --git a/tests/idris2/dotted001/expected → tests/idris2/basic/dotted001/expected b/tests/idris2/dotted001/expected → tests/idris2/basic/dotted001/expected
diff --git a/tests/idris2/basic/dotted001/run b/tests/idris2/basic/dotted001/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 -c Issue2726.idr
diff --git a/tests/idris2/idiom001/Main.idr → tests/idris2/basic/idiom001/Main.idr b/tests/idris2/idiom001/Main.idr → tests/idris2/basic/idiom001/Main.idr
diff --git a/tests/idris2/idiom001/expected → tests/idris2/basic/idiom001/expected b/tests/idris2/idiom001/expected → tests/idris2/basic/idiom001/expected
diff --git a/tests/idris2/basic/idiom001/run b/tests/idris2/basic/idiom001/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+run Main.idr
diff --git a/tests/idris2/interpolation001/IfThenElse.idr → ...is2/basic/interpolation001/IfThenElse.idr b/tests/idris2/interpolation001/IfThenElse.idr → ...is2/basic/interpolation001/IfThenElse.idr
diff --git a/tests/idris2/interpolation001/expected → tests/idris2/basic/interpolation001/expected b/tests/idris2/interpolation001/expected → tests/idris2/basic/interpolation001/expected
diff --git a/tests/idris2/basic/interpolation001/run b/tests/idris2/basic/interpolation001/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check --alt-error-count 10 IfThenElse.idr
diff --git a/...idris2/interpolation002/StringLiteral.idr → .../basic/interpolation002/StringLiteral.idr b/...idris2/interpolation002/StringLiteral.idr → .../basic/interpolation002/StringLiteral.idr
diff --git a/tests/idris2/interpolation002/expected → tests/idris2/basic/interpolation002/expected b/tests/idris2/interpolation002/expected → tests/idris2/basic/interpolation002/expected
diff --git a/tests/idris2/basic/interpolation002/run b/tests/idris2/basic/interpolation002/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 --exec test StringLiteral.idr
diff --git a/tests/idris2/interpolation003/Test.idr → tests/idris2/basic/interpolation003/Test.idr b/tests/idris2/interpolation003/Test.idr → tests/idris2/basic/interpolation003/Test.idr
diff --git a/tests/idris2/interpolation003/expected → tests/idris2/basic/interpolation003/expected b/tests/idris2/interpolation003/expected → tests/idris2/basic/interpolation003/expected
diff --git a/tests/idris2/interpolation003/input → tests/idris2/basic/interpolation003/input b/tests/idris2/interpolation003/input → tests/idris2/basic/interpolation003/input
diff --git a/tests/idris2/basic/interpolation003/run b/tests/idris2/basic/interpolation003/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+idris2 Test.idr < input
diff --git a/...idris2/interpolation004/StringLiteral.idr → .../basic/interpolation004/StringLiteral.idr b/...idris2/interpolation004/StringLiteral.idr → .../basic/interpolation004/StringLiteral.idr
diff --git a/tests/idris2/interpolation004/expected → tests/idris2/basic/interpolation004/expected b/tests/idris2/interpolation004/expected → tests/idris2/basic/interpolation004/expected
diff --git a/tests/idris2/basic/interpolation004/run b/tests/idris2/basic/interpolation004/run
@@ -0,0 +1,3 @@
+. ../../../testutils.sh
+
+check StringLiteral.idr
diff --git a/tests/idris2/literals001/Test.idr → tests/idris2/basic/literals001/Test.idr b/tests/idris2/literals001/Test.idr → tests/idris2/basic/literals001/Test.idr
diff --git a/tests/idris2/literals001/expected → tests/idris2/basic/literals001/expected b/tests/idris2/literals001/expected → tests/idris2/basic/literals001/expected
diff --git a/tests/idris2/literals001/run → tests/idris2/basic/literals001/run b/tests/idris2/literals001/run → tests/idris2/basic/literals001/run