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

Commits: a61d6455 by Simon Génier at 2023-02-19T14:43:00-05:00 Merge branches for non-operators in the sexp parser.

There two ways to mark a symbol as a non-operator. * Simply not adding it to the grammar. * Adding to the grammar with neither a left nor right precedence.

The two cases were handled in the same way, but the code was duplicated. This patch merges them.

- - - - - 4a8001d9 by Simon Génier at 2023-02-20T09:07:56-05:00 Add locations to nodes.

- - - - - 14166a24 by Simon Génier at 2023-02-21T12:46:55-05:00 Save contents of a source file so locations can refer to it.

- - - - - 8b9bce96 by Simon Génier at 2023-03-06T15:53:36-05:00 Use format to print pretokens.

- - - - - 5d967185 by Simon Génier at 2023-03-06T16:27:48-05:00 Use Format to print sexps.

- - - - - 9618cfce by Simon Génier at 2023-03-06T17:05:20-05:00 Use Format to print lexps.

- - - - - 9632bd55 by Simon Génier at 2023-03-06T18:33:26-05:00 Use Format to print elexps.

- - - - -

20 changed files:

- − .idea/workspace.xml - debug_util.ml - src/REPL.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/grammar.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

The diff was not included because it is too large.

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