Repair tests in regression

Signed-off-by: Kakadu <Kakadu@pm.me>
PLTools · Nov 15, 2024 · 5dfd0a3 · 5dfd0a3
1 parent c3cc26c
commit 5dfd0a3
Show file tree

Hide file tree

Showing 80 changed files with 238 additions and 80 deletions.
diff --git a/regression/gen.ml b/regression/gen.ml
@@ -21,7 +21,7 @@ let () =
         let found =
           if Sys.file_exists !lama_file then (
             cram_printfn
-              "../src/Driver.exe -i test%03d.lama < \
+              "  $ ../src/Driver.exe -i test%03d.lama < \
                test%03d.input"
               i i;
             true)

diff --git a/regression/test001.t b/regression/test001.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test001.lama < test001.input
+  $ ../src/Driver.exe -i test001.lama < test001.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test002.t b/regression/test002.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test002.lama < test002.input
+  $ ../src/Driver.exe -i test002.lama < test002.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test003.t b/regression/test003.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test003.lama < test003.input
+  $ ../src/Driver.exe -i test003.lama < test003.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test004.t b/regression/test004.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test004.lama < test004.input
+  $ ../src/Driver.exe -i test004.lama < test004.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test005.t b/regression/test005.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test005.lama < test005.input
+  $ ../src/Driver.exe -i test005.lama < test005.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test006.t b/regression/test006.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test006.lama < test006.input
+  $ ../src/Driver.exe -i test006.lama < test006.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test007.t b/regression/test007.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test007.lama < test007.input
+  $ ../src/Driver.exe -i test007.lama < test007.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test008.t b/regression/test008.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test008.lama < test008.input
+  $ ../src/Driver.exe -i test008.lama < test008.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test009.t b/regression/test009.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test009.lama < test009.input
+  $ ../src/Driver.exe -i test009.lama < test009.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test010.t b/regression/test010.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test010.lama < test010.input
+  $ ../src/Driver.exe -i test010.lama < test010.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test011.t b/regression/test011.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test011.lama < test011.input
+  $ ../src/Driver.exe -i test011.lama < test011.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test012.t b/regression/test012.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test012.lama < test012.input
+  $ ../src/Driver.exe -i test012.lama < test012.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test013.t b/regression/test013.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test013.lama < test013.input
+  $ ../src/Driver.exe -i test013.lama < test013.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test014.t b/regression/test014.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test014.lama < test014.input
+  $ ../src/Driver.exe -i test014.lama < test014.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test015.t b/regression/test015.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test015.lama < test015.input
+  $ ../src/Driver.exe -i test015.lama < test015.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test016.t b/regression/test016.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test016.lama < test016.input
+  $ ../src/Driver.exe -i test016.lama < test016.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test017.t b/regression/test017.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test017.lama < test017.input
+  $ ../src/Driver.exe -i test017.lama < test017.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test018.t b/regression/test018.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test018.lama < test018.input
+  $ ../src/Driver.exe -i test018.lama < test018.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test019.t b/regression/test019.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test019.lama < test019.input
+  $ ../src/Driver.exe -i test019.lama < test019.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test020.t b/regression/test020.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test020.lama < test020.input
+  $ ../src/Driver.exe -i test020.lama < test020.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test021.t b/regression/test021.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test021.lama < test021.input
+  $ ../src/Driver.exe -i test021.lama < test021.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test022.t b/regression/test022.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test022.lama < test022.input
+  $ ../src/Driver.exe -i test022.lama < test022.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test023.t b/regression/test023.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test023.lama < test023.input
+  $ ../src/Driver.exe -i test023.lama < test023.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test024.t b/regression/test024.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test024.lama < test024.input
+  $ ../src/Driver.exe -i test024.lama < test024.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test025.t b/regression/test025.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test025.lama < test025.input
+  $ ../src/Driver.exe -i test025.lama < test025.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test026.t b/regression/test026.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test026.lama < test026.input
+  $ ../src/Driver.exe -i test026.lama < test026.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test027.t b/regression/test027.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test027.lama < test027.input
+  $ ../src/Driver.exe -i test027.lama < test027.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test028.t b/regression/test028.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test028.lama < test028.input
+  $ ../src/Driver.exe -i test028.lama < test028.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test029.t b/regression/test029.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test029.lama < test029.input
+  $ ../src/Driver.exe -i test029.lama < test029.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test034.t b/regression/test034.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test034.lama < test034.input
+  $ ../src/Driver.exe -i test034.lama < test034.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test036.t b/regression/test036.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test036.lama < test036.input
+  $ ../src/Driver.exe -i test036.lama < test036.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test040.t b/regression/test040.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test040.lama < test040.input
+  $ ../src/Driver.exe -i test040.lama < test040.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test041.t b/regression/test041.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test041.lama < test041.input
+  $ ../src/Driver.exe -i test041.lama < test041.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test042.t b/regression/test042.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test042.lama < test042.input
+  $ ../src/Driver.exe -i test042.lama < test042.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test045.t b/regression/test045.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test045.lama < test045.input
+  $ ../src/Driver.exe -i test045.lama < test045.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test046.t b/regression/test046.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test046.lama < test046.input
+  $ ../src/Driver.exe -i test046.lama < test046.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test050.t b/regression/test050.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test050.lama < test050.input
+  $ ../src/Driver.exe -i test050.lama < test050.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test054.t b/regression/test054.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test054.lama < test054.input
+  $ ../src/Driver.exe -i test054.lama < test054.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test059.t b/regression/test059.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test059.lama < test059.input
+  $ ../src/Driver.exe -i test059.lama < test059.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test063.t b/regression/test063.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test063.lama < test063.input
+  $ ../src/Driver.exe -i test063.lama < test063.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test072.t b/regression/test072.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test072.lama < test072.input
+  $ ../src/Driver.exe -i test072.lama < test072.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test073.t b/regression/test073.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test073.lama < test073.input
+  $ ../src/Driver.exe -i test073.lama < test073.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test074.t b/regression/test074.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test074.lama < test074.input
+  $ ../src/Driver.exe -i test074.lama < test074.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test077.t b/regression/test077.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test077.lama < test077.input
+  $ ../src/Driver.exe -i test077.lama < test077.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test078.t b/regression/test078.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test078.lama < test078.input
+  $ ../src/Driver.exe -i test078.lama < test078.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test079.t b/regression/test079.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test079.lama < test079.input
+  $ ../src/Driver.exe -i test079.lama < test079.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test080.t b/regression/test080.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test080.lama < test080.input
+  $ ../src/Driver.exe -i test080.lama < test080.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test081.t b/regression/test081.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test081.lama < test081.input
+  $ ../src/Driver.exe -i test081.lama < test081.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test082.t b/regression/test082.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test082.lama < test082.input
+  $ ../src/Driver.exe -i test082.lama < test082.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test083.t b/regression/test083.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test083.lama < test083.input
+  $ ../src/Driver.exe -i test083.lama < test083.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test084.t b/regression/test084.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test084.lama < test084.input
+  $ ../src/Driver.exe -i test084.lama < test084.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test085.t b/regression/test085.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test085.lama < test085.input
+  $ ../src/Driver.exe -i test085.lama < test085.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test086.t b/regression/test086.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test086.lama < test086.input
+  $ ../src/Driver.exe -i test086.lama < test086.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test088.t b/regression/test088.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test088.lama < test088.input
+  $ ../src/Driver.exe -i test088.lama < test088.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test089.t b/regression/test089.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test089.lama < test089.input
+  $ ../src/Driver.exe -i test089.lama < test089.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test090.t b/regression/test090.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test090.lama < test090.input
+  $ ../src/Driver.exe -i test090.lama < test090.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test091.t b/regression/test091.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test091.lama < test091.input
+  $ ../src/Driver.exe -i test091.lama < test091.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test092.t b/regression/test092.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test092.lama < test092.input
+  $ ../src/Driver.exe -i test092.lama < test092.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test093.t b/regression/test093.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test093.lama < test093.input
+  $ ../src/Driver.exe -i test093.lama < test093.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test094.t b/regression/test094.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test094.lama < test094.input
+  $ ../src/Driver.exe -i test094.lama < test094.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test095.t b/regression/test095.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test095.lama < test095.input
+  $ ../src/Driver.exe -i test095.lama < test095.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test096.t b/regression/test096.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test096.lama < test096.input
+  $ ../src/Driver.exe -i test096.lama < test096.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test097.t b/regression/test097.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test097.lama < test097.input
+  $ ../src/Driver.exe -i test097.lama < test097.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test098.t b/regression/test098.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test098.lama < test098.input
+  $ ../src/Driver.exe -i test098.lama < test098.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test099.t b/regression/test099.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test099.lama < test099.input
+  $ ../src/Driver.exe -i test099.lama < test099.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test100.t b/regression/test100.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test100.lama < test100.input
+  $ ../src/Driver.exe -i test100.lama < test100.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test101.t b/regression/test101.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test101.lama < test101.input
+  $ ../src/Driver.exe -i test101.lama < test101.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test102.t b/regression/test102.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test102.lama < test102.input
+  $ ../src/Driver.exe -i test102.lama < test102.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test103.t b/regression/test103.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test103.lama < test103.input
+  $ ../src/Driver.exe -i test103.lama < test103.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test104.t b/regression/test104.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test104.lama < test104.input
+  $ ../src/Driver.exe -i test104.lama < test104.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test105.t b/regression/test105.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test105.lama < test105.input
+  $ ../src/Driver.exe -i test105.lama < test105.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test106.t b/regression/test106.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test106.lama < test106.input
+  $ ../src/Driver.exe -i test106.lama < test106.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test107.t b/regression/test107.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test107.lama < test107.input
+  $ ../src/Driver.exe -i test107.lama < test107.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test110.t b/regression/test110.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test110.lama < test110.input
+  $ ../src/Driver.exe -i test110.lama < test110.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test111.t b/regression/test111.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test111.lama < test111.input
+  $ ../src/Driver.exe -i test111.lama < test111.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test112.t b/regression/test112.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test112.lama < test112.input
+  $ ../src/Driver.exe -i test112.lama < test112.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test801.t b/regression/test801.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test801.lama < test801.input
+  $ ../src/Driver.exe -i test801.lama < test801.input
+  Error: could not find an interface file for import "Std"
+  [255]
diff --git a/regression/test802.t b/regression/test802.t
@@ -1 +1,3 @@
-../src/Driver.exe -i test802.lama < test802.input
+  $ ../src/Driver.exe -i test802.lama < test802.input
+  Error: could not find an interface file for import "Std"
+  [255]