Stefan pushed to branch master at Stefan / Typer Commits: e50902fe by Stefan Monnier at 2016-04-08T17:06:55-04:00 * src/typecheck.ml: New file. * src/main.ml: Refer to Typecheck, tho it's not used yet. * src/lexp.ml (subst): New type. (lexp): Use it. Rename Shift to Susp. (lexp_location): Adjust accordingly. - - - - - 4 changed files: - DESIGN - src/lexp.ml - src/main.ml - + src/typecheck.ml Changes: ===================================== DESIGN ===================================== #<Gitlab::Git::Diff:0x007fa86cd0a748> ===================================== src/lexp.ml ===================================== #<Gitlab::Git::Diff:0x007fa86cd0a158> ===================================== src/main.ml ===================================== #<Gitlab::Git::Diff:0x007fa86cd09aa0> ===================================== src/typecheck.ml ===================================== #<Gitlab::Git::Diff:0x007fa86cd09460> View it on GitLab: https://gitlab.com/monnier/typer/commit/e50902fe4b2018cdb16310372410c5c937ed...