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