[Git][monnier/typer][master] lexp_p_infer continued
Setepenre pushed to branch master at Stefan / Typer Commits: c1e835ce by Pierre Delaunay at 2016-04-16T11:26:03-04:00 lexp_p_infer continued Changes to be committed: * src/debug_util.ml: uses default runtime env * src/lparse.ml: - print_lexp_ctx, now, prints in order - lambda builds its type and returns it - cons, call return their type - replaced (lexp_parse) by (lexp_p_infer) * src/lexp.ml: lexp_print, now, prints builtin operators correctly * tests/eval_test.ml: - added some type annotations to remove some warnings * tests/lexp_test.ml: - new test: Does lexp_print print correct typer code ? (yes) * src/util.ml: - new function (msg_fatal) - added _typer_verbose which controls how much information is going to be printed out - - - - - 14 changed files: - GNUmakefile - src/REPL.ml - src/builtin.ml - src/debruijn.ml - src/debug.ml - src/debug_util.ml - src/eval.ml - src/lexp.ml - src/lparse.ml - src/util.ml - tests/eval_test.ml - tests/lexp_test.ml - tests/utest_lib.ml - tests/utest_main.ml Changes: ===================================== GNUmakefile ===================================== #<Gitlab::Git::Diff:0x00000006155cb0> ===================================== src/REPL.ml ===================================== #<Gitlab::Git::Diff:0x00000006154f68> ===================================== src/builtin.ml ===================================== #<Gitlab::Git::Diff:0x00000006153c08> ===================================== src/debruijn.ml ===================================== #<Gitlab::Git::Diff:0x00000006152c90> ===================================== src/debug.ml ===================================== #<Gitlab::Git::Diff:0x00000006147cc8> ===================================== src/debug_util.ml ===================================== #<Gitlab::Git::Diff:0x00000006147070> ===================================== src/eval.ml ===================================== #<Gitlab::Git::Diff:0x00000006145f18> ===================================== src/lexp.ml ===================================== #<Gitlab::Git::Diff:0x00000006145388> ===================================== src/lparse.ml ===================================== #<Gitlab::Git::Diff:0x0000000613bf18> ===================================== src/util.ml ===================================== #<Gitlab::Git::Diff:0x0000000613b7e8> ===================================== tests/eval_test.ml ===================================== #<Gitlab::Git::Diff:0x0000000613ae38> ===================================== tests/lexp_test.ml ===================================== #<Gitlab::Git::Diff:0x00000006139b00> ===================================== tests/utest_lib.ml ===================================== #<Gitlab::Git::Diff:0x00000006138890> ===================================== tests/utest_main.ml ===================================== #<Gitlab::Git::Diff:0x00000006133a70> View it on GitLab: https://gitlab.com/monnier/typer/commit/c1e835ce0f1111822f56511a67e35d57068d...
Afficher les réponses par date
participants (1)
-
Setepenre