Setepenre pushed to branch master at Stefan / Typer Commits: 48cc9c28 by Pierre Delaunay at 2016-04-12T18:42:20-04:00 Modifed evaluation environment to support closures Changes to be committed: * src/builtin.ml: - modified builtin +/* to match new implementation (more generic) - new function (get_builtin_impl) return an ocaml function which implements the requested operation * src/eval.ml: moved value_type to env.ml * src/env.ml: replaced lexp by value_type - added closure type to value_type * src/fmt.ml: new function (calign_print_*) - - - - - ef5eb300 by Pierre Delaunay at 2016-04-13T12:01:50-04:00 Allow users to filter which test to run Changes to be committed: * tests/utest_main.ml: - new supported arguments (--fsection=) and (--ftitle) * src/builtin.ml: - added some macro declarations - - - - - a2c5628d by Pierre Delaunay at 2016-04-13T12:15:00-04:00 merging - - - - - 11 changed files: - GNUmakefile - src/builtin.ml - src/debruijn.ml - src/debug_util.ml - src/env.ml - src/eval.ml - src/fmt.ml - src/lparse.ml - + tests/macro_test.ml - tests/utest_lib.ml - tests/utest_main.ml Changes: ===================================== GNUmakefile ===================================== #<Gitlab::Git::Diff:0x007fcd9ca3ed70> ===================================== src/builtin.ml ===================================== #<Gitlab::Git::Diff:0x007fcd9ca3d8f8> ===================================== src/debruijn.ml ===================================== #<Gitlab::Git::Diff:0x007fcd9ca3d3f8> ===================================== src/debug_util.ml ===================================== #<Gitlab::Git::Diff:0x007fcd9ca3cef8> ===================================== src/env.ml ===================================== #<Gitlab::Git::Diff:0x007fcd9ca3c9f8> ===================================== src/eval.ml ===================================== #<Gitlab::Git::Diff:0x007fcd9ca3c4f8> ===================================== src/fmt.ml ===================================== #<Gitlab::Git::Diff:0x007fcd9ca47fb0> ===================================== src/lparse.ml ===================================== #<Gitlab::Git::Diff:0x007fcd9ca47ab0> ===================================== tests/macro_test.ml ===================================== #<Gitlab::Git::Diff:0x007fcd9ca475b0> ===================================== tests/utest_lib.ml ===================================== #<Gitlab::Git::Diff:0x007fcd9ca470b0> ===================================== tests/utest_main.ml ===================================== #<Gitlab::Git::Diff:0x007fcd9ca46bb0> View it on GitLab: https://gitlab.com/monnier/typer/compare/93af35894b80ed28b8a59f3260ff1e274fb...