Stefan pushed to branch master at Stefan / Typer

Commits: ccb4d1aa by Stefan Monnier at 2016-04-18T21:13:23-04:00 * src/typecheck.ml (check): Handle Susp and Call

* src/subst.ml (substitute): New function.

* src/typecheck.ml: Don't open Util any more. (unsusp, sort_compose): New functions. (check): Improve: add Call case, and half of Inductive.

- - - - -

3 changed files:

- src/lexp.ml - src/subst.ml - src/typecheck.ml

Changes:

===================================== src/lexp.ml ===================================== #Gitlab::Git::Diff:0x007fd224679938

===================================== src/subst.ml ===================================== #Gitlab::Git::Diff:0x007fd224679398

===================================== src/typecheck.ml ===================================== #Gitlab::Git::Diff:0x007fd224678da8

View it on GitLab: https://gitlab.com/monnier/typer/commit/ccb4d1aa4a79f15f6fa26f92885f1b79db7c...