Zilliqa / scilla / 3067

61%

push

travis-ci-com

scilla-fmt: Scilla source code formatter and AST S-expression formatter (#1161)

* feat: scilla-fmt -- CLI formatter for Scilla

* tests(formatter): add look-and-feel cram tests

* feat(formatter): dump S-expressions

This commit introduces AST annotation mapper module.
It's used to map location annotations to unit values,
essentially erasing these before ASTs as S-expressions.

CLI options:
- `--sexp`: dump S-expression representation of AST instead of
  formatting source code;
- `--deannot`: remove AST annotations for S-expression dumps
- `--human-readable`: dump human-readable S-expressions

* tests(formatter): add AST preservation tests

The Scilla test contracts and expressions are copied from existing
typechecker and evaluator tests.

* fix(tests): make cram-tests more robust

Sometimes dune does not understand it needs to rerun tests.
Looks like because the formatter cram tests do not specify
the scilla-fmt binary as its dependency and it's not clear how to do
that.

8 of 8 new or added lines in 1 file covered. (100.0%)

4304 of 7156 relevant lines covered (60.15%)

52535.69 hits per line