[Git][monnier/typer][simon--pp-print] 7 commits: Merge branches for non-operators in the sexp parser.
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... -- View it on GitLab: https://gitlab.com/monnier/typer/-/compare/7b1d8af8c815452059713f83ceb98f512... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Simon Génier (@ilovemonoids)