Merge branch 'bugfix/negative-test-move-and-check-expected' into 'dev'

Move the last two negative tests to a subdirectory + check their output

See merge request ligolang/ligo!306

src/bin/expect_tests/syntax_error_tests.ml

@@ -0,0 +1,17 @@
+open Cli_expect
+
+let%expect_test _ =
+  run_ligo_bad [ "compile-contract" ; "../../test/contracts/negative/error_syntax.ligo" ; "main" ] ;
+  [%expect {|
+    ligo: parser error: Parse error at "-" from (1, 16) to (1, 17). In file "|../../test/contracts/negative/error_syntax.ligo"
+           {"parser_loc":"in file \"\", line 1, characters 16-17"}
+
+
+     If you're not sure how to fix this error, you can
+     do one of the following:
+
+    * Visit our documentation: https://ligolang.org/docs/intro/what-and-why/
+    * Ask a question on our Discord: https://discord.gg/9rhYaEt
+    * Open a gitlab issue: https://gitlab.com/ligolang/ligo/issues/new
+    * Check the changelog by running 'ligo changelog' |} ] ;
+

src/bin/expect_tests/typer_error_tests.ml

@@ -1,6 +1,18 @@
 open Cli_expect
 
 let%expect_test _ =
+  run_ligo_bad [ "compile-contract" ; "../../test/contracts/negative/error_type.ligo" ; "main" ] ;
+  [%expect {|
+    ligo: in file "error_type.ligo", line 3, characters 18-28. Adding with wrong types. Expected nat, int or tez.
+
+     If you're not sure how to fix this error, you can
+     do one of the following:
+
+    * Visit our documentation: https://ligolang.org/docs/intro/what-and-why/
+    * Ask a question on our Discord: https://discord.gg/9rhYaEt
+    * Open a gitlab issue: https://gitlab.com/ligolang/ligo/issues/new
+    * Check the changelog by running 'ligo changelog' |} ] ;
+
   run_ligo_bad [ "compile-contract" ; "../../test/contracts/negative/error_typer_1.mligo" ; "main" ] ;
   [%expect {|
     ligo: in file "error_typer_1.mligo", line 3, characters 19-27. different type constructors: Expected these two constant type constructors to be the same, but they're different {"a":"string","b":"int"}

src/test/dune

@@ -1,7 +1,7 @@
 (ocamllex md)
 
 (executables
-  (names test manual_test doc_test)
+  (names test doc_test)
   (libraries
     simple-utils
     ligo

src/test/manual_test.ml

@@ -1,17 +0,0 @@
-open Trace
-open Ligo.Run
-open Test_helpers
-
-let syntax_error () : unit result =
-  let%bind _program = type_file `pascaligo "./contracts/error_syntax.ligo" in
-  ok ()
-
-let type_error () : unit result =
-  let%bind _program = type_file `pascaligo "./contracts/error_type.ligo" in
-  ok ()
-
-let () =
-  List.iter wrap_test_raw [
-    type_error ;
-    syntax_error ;
-  ]