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

Commits: 4421b8e7 by Stefan Monnier at 2023-03-21T23:25:52-04:00 Fix an inf-loop during elaboration

When `typer-identifier` is redefined as something else than a special form or a macro, we got into an inf-loop when elaborating X because we would rewrite to (typer_identifier X), which would then be taken as a function call, which recursively elaborates its arg X, ...

* src/elab.ml (sform_immediate, sform_identifier): Move before `elaborate`. (elab_via): New function. (elaborate): Use it.

- - - - - 22282068 by Simon Génier at 2023-03-22T18:03:27-04:00 Merge branch 'simon--source-container'

- - - - - e13d2142 by Simon Génier at 2023-03-22T18:05:48-04:00 Use format to print pretokens.

- - - - - e350b2d7 by Simon Génier at 2023-03-22T18:10:14-04:00 Use Format to print sexps.

- - - - - 08503fe0 by Simon Génier at 2023-03-22T18:10:18-04:00 Use Format to print lexps.

- - - - - 9f89fdce by Simon Génier at 2023-03-22T18:10:18-04:00 Use Format to print elexps.

- - - - -

27 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/lexer.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 - tests/utest_lib.ml

The diff was not included because it is too large.

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