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