diff options
author | Julien Puydt <jpuydt@debian.org> | 2023-07-07 09:09:51 +0200 |
---|---|---|
committer | Julien Puydt <jpuydt@debian.org> | 2023-07-07 09:09:51 +0200 |
commit | 1fda744c5dfd589065349a611abe75e5c4755466 (patch) | |
tree | efeabfc952f65a7a4a78635d7873216653772315 /tests/parse_and_print.ml |
Import morsmall_0.3.0-5.debian.tar.xz
[dgit import tarball morsmall 0.3.0-5 morsmall_0.3.0-5.debian.tar.xz]
Diffstat (limited to 'tests/parse_and_print.ml')
-rw-r--r-- | tests/parse_and_print.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/parse_and_print.ml b/tests/parse_and_print.ml new file mode 100644 index 0000000..d66a1fa --- /dev/null +++ b/tests/parse_and_print.ml @@ -0,0 +1,3 @@ +let filename = Sys.argv.(1) +let ast = Morsmall.parse_file filename +let _ = Morsmall.pp_print_safe Format.std_formatter ast |