diff options
author | Nick Barnes <nick@tarides.com> | 2023-05-02 21:16:12 +0100 |
---|---|---|
committer | Nick Barnes <nick@tarides.com> | 2023-05-02 21:16:12 +0100 |
commit | d3a5c923939a1fc03cc14c005d61210d8c3bd546 (patch) | |
tree | 5459de2b7b6cbaa1167d18224f1ea5d256e2f3f7 /ocamltest/tsl_semantics.mli | |
parent | ad111da274b58d82249f92b8c79ee252bf25525b (diff) | |
parent | 23dab79a4e42856aa33816b9c79c3d4d79959cb9 (diff) | |
download | ocaml-d3a5c923939a1fc03cc14c005d61210d8c3bd546.tar.gz |
Merge branch 'trunk' into nick-get-copy
Diffstat (limited to 'ocamltest/tsl_semantics.mli')
-rw-r--r-- | ocamltest/tsl_semantics.mli | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/ocamltest/tsl_semantics.mli b/ocamltest/tsl_semantics.mli index cbb017e681..385692f0a7 100644 --- a/ocamltest/tsl_semantics.mli +++ b/ocamltest/tsl_semantics.mli @@ -35,9 +35,17 @@ type test_tree = (test_tree list) val test_trees_of_tsl_block : - Tsl_ast.tsl_block -> + Tsl_ast.tsl_item list -> Tsl_ast.environment_statement located list * test_tree list +val test_trees_of_tsl_ast : + Tsl_ast.t -> + Tsl_ast.environment_statement located list * test_tree list + +val tsl_ast_of_test_trees : + Tsl_ast.environment_statement located list * test_tree list -> + Tsl_ast.t + val tests_in_tree : test_tree -> Tests.TestSet.t val tests_in_trees : test_tree list -> Tests.TestSet.t @@ -45,3 +53,6 @@ val tests_in_trees : test_tree list -> Tests.TestSet.t val actions_in_test : Tests.t -> Actions.ActionSet.t val actions_in_tests : Tests.TestSet.t -> Actions.ActionSet.t + + +val print_tsl_ast : compact:bool -> out_channel -> Tsl_ast.t -> unit |