[Typer] [Git][monnier/typer][gambit-compile-pervasives] Compile (a trimmed-down version of) the pervasives to Scheme.

Simon Génier pushed to branch gambit-compile-pervasives at Stefan / Typer

Commits: 0382e776 by Simon Génier at 2022-09-22T04:21:39-04:00 Compile (a trimmed-down version of) the pervasives to Scheme.

- - - - -

18 changed files:

- + btl/pervasive-light.typer - debug_util.ml - samples/nat.typer - src/REPL.ml - + src/array.ml - src/builtin.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/heap.ml - src/instargs.ml - src/inverse_subst.ml - src/lexer.ml

The diff was not included because it is too large.

View it on GitLab: https://gitlab.com/monnier/typer/-/commit/0382e776a37a8f83c7d824fddc8f156584...