Setepenre pushed to branch master at Stefan / Typer Commits: 0905ab89 by Pierre Delaunay at 2016-04-15T11:47:20-04:00 lexp_p_infer: Type propagation Changes to be committed: * src/debruijn.ml: - lexp_context uses a ref cell (which solve all our synchronization problems between env and senv - new function (env_set_var_info) * src/lparse.ml: - started to propagate types and lexp_parsing at the same time - modified (_lexp_decls) to match the new environement - - - - - 4 changed files: - src/builtin.ml - src/debruijn.ml - src/lparse.ml - + tests/debruijn_test.ml Changes: ===================================== src/builtin.ml ===================================== #<Gitlab::Git::Diff:0x0000000718fb80> ===================================== src/debruijn.ml ===================================== #<Gitlab::Git::Diff:0x0000000718f658> ===================================== src/lparse.ml ===================================== #<Gitlab::Git::Diff:0x0000000718f158> ===================================== tests/debruijn_test.ml ===================================== #<Gitlab::Git::Diff:0x0000000718eb18> View it on GitLab: https://gitlab.com/monnier/typer/commit/0905ab89c1d6dc40b101b68f587c263e7131...