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...
Afficher les réponses par date