Merge branch '1.30' of github.com:JetBrains-Research/Lama into 1.30

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)

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

regression/test803.t

@@ -1 +1,3 @@
-../src/Driver.exe -i test803.lama < test803.input
+  $ ../src/Driver.exe -i test803.lama < test803.input
+  Error: could not find an interface file for import "Std"
+  [255]