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