Stefan pushed to branch master at Stefan / Typer
Commits: b978cb6b by Stefan Monnier at 2016-04-18T08:21:44-04:00 * src/subst.ml: Rewrite completely, mostly following the λσ approach
* .gitignore: Add missing final newline. Fix #*# pattern.
* src/lexp.ml (lexp): Swap Susp's arguments, to match the order usually used in papers. Adjust all users accordingly.
* src/typecheck.ml (mkSusp, scompose, sapply, ssink): New helpers to use the new substitutions. (conv_p'): Adjust to new substitutions's type. (check): Check that Let's types are indeed types. Fix compilation.
- - - - -
5 changed files:
- .gitignore - DESIGN - src/lexp.ml - src/subst.ml - src/typecheck.ml
Changes:
===================================== .gitignore ===================================== #Gitlab::Git::Diff:0x000000058ce830
===================================== DESIGN ===================================== #Gitlab::Git::Diff:0x000000058ce0d8
===================================== src/lexp.ml ===================================== #Gitlab::Git::Diff:0x000000058cd840
===================================== src/subst.ml ===================================== #Gitlab::Git::Diff:0x000000058cd340
===================================== src/typecheck.ml ===================================== #Gitlab::Git::Diff:0x000000058ccc88
View it on GitLab: https://gitlab.com/monnier/typer/commit/b978cb6bc84bf6316d6e60e3793139d8bfbe...