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...