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