diff options
author | Damien Doligez <damien.doligez@inria.fr> | 2023-04-25 15:25:52 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-25 16:25:52 +0200 |
commit | 0a7c5fe35f4be2ea5c834b586fb5e947bd952377 (patch) | |
tree | 0d66e63cda683098b81ef07f2dad09e9a9c85477 /testsuite/tests/tool-ocamlc-stop-after | |
parent | 6be361ffd75a2fce5f4daa21fd5073b9a18ce31c (diff) | |
download | ocaml-0a7c5fe35f4be2ea5c834b586fb5e947bd952377.tar.gz |
New script language for ocamltest (#12185)
New test script language, all tests translated automatically (see `tools/translate-all-tests`).
Diffstat (limited to 'testsuite/tests/tool-ocamlc-stop-after')
5 files changed, 57 insertions, 33 deletions
diff --git a/testsuite/tests/tool-ocamlc-stop-after/stop_after_lambda.ml b/testsuite/tests/tool-ocamlc-stop-after/stop_after_lambda.ml index e018d17ce6..e1c2b58670 100644 --- a/testsuite/tests/tool-ocamlc-stop-after/stop_after_lambda.ml +++ b/testsuite/tests/tool-ocamlc-stop-after/stop_after_lambda.ml @@ -1,9 +1,9 @@ (* TEST -* setup-ocamlc.byte-build-env -** ocamlc.byte - flags = "-dlambda -stop-after lambda -nopervasives " - ocamlc_byte_exit_status = "0" -*** check-ocamlc.byte-output + setup-ocamlc.byte-build-env; + flags = "-dlambda -stop-after lambda -nopervasives "; + ocamlc_byte_exit_status = "0"; + ocamlc.byte; + check-ocamlc.byte-output; *) external p : int -> unit = "" diff --git a/testsuite/tests/tool-ocamlc-stop-after/stop_after_parsing_impl.ml b/testsuite/tests/tool-ocamlc-stop-after/stop_after_parsing_impl.ml index 3276733c51..0029d7b0ff 100644 --- a/testsuite/tests/tool-ocamlc-stop-after/stop_after_parsing_impl.ml +++ b/testsuite/tests/tool-ocamlc-stop-after/stop_after_parsing_impl.ml @@ -1,12 +1,20 @@ -(* TEST -* setup-ocamlc.byte-build-env -** ocamlc.byte - flags = "-stop-after parsing -dparsetree" - ocamlc_byte_exit_status = "0" -*** check-ocamlc.byte-output +(* TEST_BELOW +Filler_text_added_to_pr +eserve_locatio +ns_while_translating_from_old_syntax__Filler_ +text_added_to_preserve_locations_ +while_translating_from_old_s *) (* we intentionally write ill-typed output; if `-stop-after parsing` was not supported properly, the test would fail with an error *) let _ = (1 + "true") + x + +(* TEST + setup-ocamlc.byte-build-env; + flags = "-stop-after parsing -dparsetree"; + ocamlc_byte_exit_status = "0"; + ocamlc.byte; + check-ocamlc.byte-output; +*) diff --git a/testsuite/tests/tool-ocamlc-stop-after/stop_after_parsing_intf.mli b/testsuite/tests/tool-ocamlc-stop-after/stop_after_parsing_intf.mli index 328a78d47f..802fe9abf2 100644 --- a/testsuite/tests/tool-ocamlc-stop-after/stop_after_parsing_intf.mli +++ b/testsuite/tests/tool-ocamlc-stop-after/stop_after_parsing_intf.mli @@ -1,12 +1,20 @@ -(* TEST -* setup-ocamlc.byte-build-env -** ocamlc.byte - flags = "-stop-after parsing -dparsetree" - ocamlc_byte_exit_status = "0" -*** check-ocamlc.byte-output +(* TEST_BELOW +Filler_text_added_to_pr +eserve_locatio +ns_while_translating_from_old_syntax__Filler_ +text_added_to_preserve_locations_ +while_translating_from_old_s *) (* we intentionally write ill-typed output; if `-stop-after parsing` was not supported properly, the test would fail with an error *) val x : Module_that_does_not_exists.type_that_does_not_exists + +(* TEST + setup-ocamlc.byte-build-env; + flags = "-stop-after parsing -dparsetree"; + ocamlc_byte_exit_status = "0"; + ocamlc.byte; + check-ocamlc.byte-output; +*) diff --git a/testsuite/tests/tool-ocamlc-stop-after/stop_after_scheduling.ml b/testsuite/tests/tool-ocamlc-stop-after/stop_after_scheduling.ml index c5eae2bb41..d4344f8ba1 100644 --- a/testsuite/tests/tool-ocamlc-stop-after/stop_after_scheduling.ml +++ b/testsuite/tests/tool-ocamlc-stop-after/stop_after_scheduling.ml @@ -1,14 +1,14 @@ (* TEST -* setup-ocamlc.byte-build-env -compiler_output = "compiler-output.raw" -** ocamlc.byte - flags = "-stop-after scheduling" - ocamlc_byte_exit_status = "2" -*** script - script = "sh ${test_source_directory}/stop_after_scheduling.sh" - output = "compiler-output" -**** check-ocamlc.byte-output -compiler_output = "compiler-output" + compiler_output = "compiler-output.raw"; + setup-ocamlc.byte-build-env; + flags = "-stop-after scheduling"; + ocamlc_byte_exit_status = "2"; + ocamlc.byte; + script = "sh ${test_source_directory}/stop_after_scheduling.sh"; + output = "compiler-output"; + script; + compiler_output = "compiler-output"; + check-ocamlc.byte-output; *) (* this file is just a test driver, the test does not contain real OCaml code *) diff --git a/testsuite/tests/tool-ocamlc-stop-after/stop_after_typing_impl.ml b/testsuite/tests/tool-ocamlc-stop-after/stop_after_typing_impl.ml index f739509551..2cf68dbd28 100644 --- a/testsuite/tests/tool-ocamlc-stop-after/stop_after_typing_impl.ml +++ b/testsuite/tests/tool-ocamlc-stop-after/stop_after_typing_impl.ml @@ -1,9 +1,9 @@ -(* TEST -* setup-ocamlc.byte-build-env -** ocamlc.byte - flags = "-stop-after typing -dno-unique-ids -dtypedtree" - ocamlc_byte_exit_status = "0" -*** check-ocamlc.byte-output +(* TEST_BELOW +Filler_text_added_to_pr +eserve_locatio +ns_while_translating_from_old_syntax__Filler_text_added_to_p +reserve_locations_while_translati +ng_from_old_syntax__Filler_t *) (* we intentionally write an output that is type-correct @@ -11,3 +11,11 @@ due to the incorrect type given to the %apply compiler primitive. *) external apply: int -> int = "%apply" + +(* TEST + setup-ocamlc.byte-build-env; + flags = "-stop-after typing -dno-unique-ids -dtypedtree"; + ocamlc_byte_exit_status = "0"; + ocamlc.byte; + check-ocamlc.byte-output; +*) |