diff --git a/src/bin/expect_tests/syntax_error_tests.ml b/src/bin/expect_tests/syntax_error_tests.ml new file mode 100644 index 000000000..7082dbcf9 --- /dev/null +++ b/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' |} ] ; + diff --git a/src/bin/expect_tests/typer_error_tests.ml b/src/bin/expect_tests/typer_error_tests.ml index 2fcc7f4e5..55f182c97 100644 --- a/src/bin/expect_tests/typer_error_tests.ml +++ b/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"} diff --git a/src/test/contracts/error_syntax.ligo b/src/test/contracts/negative/error_syntax.ligo similarity index 100% rename from src/test/contracts/error_syntax.ligo rename to src/test/contracts/negative/error_syntax.ligo diff --git a/src/test/contracts/error_type.ligo b/src/test/contracts/negative/error_type.ligo similarity index 100% rename from src/test/contracts/error_type.ligo rename to src/test/contracts/negative/error_type.ligo diff --git a/src/test/dune b/src/test/dune index 9da57c8ef..b600a1fa3 100644 --- a/src/test/dune +++ b/src/test/dune @@ -1,7 +1,7 @@ (ocamllex md) (executables - (names test manual_test doc_test) + (names test doc_test) (libraries simple-utils ligo diff --git a/src/test/manual_test.ml b/src/test/manual_test.ml deleted file mode 100644 index fdf8d4d8d..000000000 --- a/src/test/manual_test.ml +++ /dev/null @@ -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 ; - ]