[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: 17519ff3 by Simon Génier at 2022-09-22T14:55:27-04:00 Compile (a trimmed-down version of) the pervasives to Scheme.

- - - - -

17 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/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/17519ff310d3c13fb3b10bcb873b2a800f...