[Git][monnier/typer][sexp-case] 19 commits: Add preliminary support for Dune
Simon Génier pushed to branch sexp-case at Stefan / Typer Commits: 95330ac8 by Stefan Monnier at 2020-08-04T19:23:58-04:00 Add preliminary support for Dune * src/tweak.ml: Remove, unused. * src/*.ml: Fix misc compiler warnings. - - - - - ffb8bf48 by Simon Génier at 2020-12-06T21:28:13-05:00 Add primitives for separate allocation and initialization. - - - - - 955c3940 by Simon Génier at 2020-12-12T06:59:37-05:00 Fix a couple of warning 40. - - - - - 085f3f58 by Simon Génier at 2020-12-22T12:40:18-05:00 Merge branch 'warning-40-be-gone' - - - - - 5335bac8 by Simon Génier at 2020-12-22T12:40:34-05:00 Merge branch 'heap' - - - - - 8741ee4f by Jean-Alexandre Barszcz at 2021-01-04T18:30:51-05:00 * src/opslexp.ml (clean_decls): Oops, make it check for metavars. - - - - - 14d0ad7a by Jean-Alexandre Barszcz at 2021-01-04T18:30:51-05:00 * src/elab.ml (sform_letin): Remove unnecessary scope_level bump. - - - - - 1c6e109b by Jean-Alexandre Barszcz at 2021-01-04T18:30:51-05:00 * src/elab.ml (sform_letin): Make `let` bidirectional. - - - - - fecec539 by Jean-Alexandre Barszcz at 2021-01-04T18:30:51-05:00 * src/opslexp.ml (fv): Check that the memoized value is still ok. - - - - - 77981fd4 by Stefan Monnier at 2021-02-09T18:04:24-05:00 * src/elab.ml (lexp_check_decls): Fix broken odd/even example. * src/REPL.ml (main): Re-raise internal error, so OCAMLRUNPARAM=b gives a proper backtrace. * samples/nat.typer (even1): Make it trickier to catch the previous error.. - - - - - d17622a1 by Simon Génier at 2021-03-08T12:46:52-05:00 Truncate the lexp context that is printed on error. You can still opt in the whole thing by passing -Vfull-lctx. - - - - - a2a6e95e by Simon Génier at 2021-03-08T13:24:54-05:00 Merge branch 'truncate-lctx' - - - - - 73f177d8 by Stefan Monnier at 2021-03-10T11:10:11-05:00 Merge remote-tracking branch 'gitlab/dune' into trunk - - - - - 9aef5033 by Simon Génier at 2021-03-10T13:30:23-05:00 Add information about the arity of data cons in Elexps. This is not used with the AST interpreter, but pretty much any other backend would want that information. - - - - - 6d930fcb by Simon Génier at 2021-03-10T15:30:17-05:00 Merge branch 'arity-of-cons' - - - - - 30ff7d25 by Simon Génier at 2021-03-11T12:15:21-05:00 Add a sexp-case macro. This macro lets you write case-like expressions for Sexp, which I hope are neater than Sexp_dispatch. The code is quite tedious because it is written to be loaded quite early, before some key macros like the enhanced case and lambda. This is because sexp-case is meant to help macro authorship, including these quite complicated macros! It was also necessary to shuffle a few definitions in pervasive.typer to allow us to write it as early as possible. Was it a waste of time to write this macro when Sexp_wrapper exists? Probably. I was not aware of the existence of Sexp_wrapper until I was almost done with sexp-case_. - - - - - 6aea153c by Simon Génier at 2021-03-11T12:15:22-05:00 Use sexp-case in a few places. - - - - - d8856491 by Simon Génier at 2021-03-11T12:15:22-05:00 Better error messages when => is missing in sexp-case. - - - - - 5811e4be by Simon Génier at 2021-03-11T12:15:22-05:00 Use sexp-case in case.typer. - - - - - 30 changed files: - btl/builtins.typer - btl/case.typer - btl/pervasive.typer - + btl/sexp-case.typer - + dune-project - + samples/heap.typer - samples/nat.typer - src/REPL.ml - src/builtin.ml - src/debruijn.ml - src/debug.ml - src/debug_util.ml - + src/dune - src/elab.ml - src/elexp.ml - src/env.ml - src/eval.ml - src/fmt.ml - src/heap.ml - src/inverse_subst.ml - src/lexp.ml - + src/listx.ml - src/log.ml - src/myers.ml - src/opslexp.ml - src/option.ml - src/pexp.ml - src/prelexer.ml - src/sexp.ml - − src/tweak.ml The diff was not included because it is too large. View it on GitLab: https://gitlab.com/monnier/typer/-/compare/7060dab96d1c4a58c0b4e0a08a06efd2a... -- View it on GitLab: https://gitlab.com/monnier/typer/-/compare/7060dab96d1c4a58c0b4e0a08a06efd2a... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Simon Génier