Simon Génier pushed to branch simon--pp-print at Stefan / Typer

Commits: 0e3fdc53 by Simon Génier at 2023-02-24T13:15:51-05:00 Use format to print pretokens.

- - - - - 414caf69 by Simon Génier at 2023-02-24T14:15:32-05:00 Use Format to print sexps.

- - - - - 3ee5c880 by Simon Génier at 2023-02-26T18:53:05-05:00 Use Format to print lexps.

- - - - - 65e931bd by Simon Génier at 2023-02-27T16:17:05-05:00 Use Format to print elexps.

- - - - -

25 changed files:

- − .idea/workspace.xml - debug_util.ml - src/debruijn.ml - − src/debug.ml - src/elab.ml - src/elexp.ml - src/env.ml - src/eval.ml - src/fmt.ml - src/gambit.ml - src/instargs.ml - src/inverse_subst.ml - src/lexp.ml - src/listx.ml → src/list.ml - src/opslexp.ml - src/pexp.ml - src/prelexer.ml - src/sexp.ml - src/source.ml - src/unification.ml - src/util.ml - tests/instargs_test.ml - tests/lexer_test.ml - tests/positivity_test.ml - tests/unify_test.ml

The diff was not included because it is too large.

View it on GitLab: https://gitlab.com/monnier/typer/-/compare/b2b3de6942834c574becaa87e4193168e...