Stefan pushed to branch master at Stefan / Typer Commits: 72d74b56 by Stefan Monnier at 2016-04-09T23:28:42-04:00 * src/typecheck.ml: Actually implement a simple conv_p * src/subst.ml: New file. * src/lexp.ml: Use it. (lexp): Remove UnknownType. * src/util.ml (SMap): Move from grammar.ml * src/grammar.ml (SMap): Move to util.ml * GNUmakefile (OBFLAGS): Rename from CFLAG. Remove -rectypes. * src/lparse.ml (dlxp, dltype): Use arbitrary expression instead of UnknownType. * src/main.ml: Use named import rather than `open`. - - - - - 9 changed files: - GNUmakefile - src/debug.ml - src/grammar.ml - src/lexp.ml - src/lparse.ml - src/main.ml - + src/subst.ml - src/typecheck.ml - src/util.ml Changes: ===================================== GNUmakefile ===================================== #<Gitlab::Git::Diff:0x007f1d3e39fcf8> ===================================== src/debug.ml ===================================== #<Gitlab::Git::Diff:0x007f1d3e39f668> ===================================== src/grammar.ml ===================================== #<Gitlab::Git::Diff:0x007f1d3e39efd8> ===================================== src/lexp.ml ===================================== #<Gitlab::Git::Diff:0x007f1d3e39e948> ===================================== src/lparse.ml ===================================== #<Gitlab::Git::Diff:0x007f1d3e39e2e0> ===================================== src/main.ml ===================================== #<Gitlab::Git::Diff:0x007f1d3e39dc28> ===================================== src/subst.ml ===================================== #<Gitlab::Git::Diff:0x007f1d3e39d5e8> ===================================== src/typecheck.ml ===================================== #<Gitlab::Git::Diff:0x007f1d3e39cf30> ===================================== src/util.ml ===================================== #<Gitlab::Git::Diff:0x007f1d3e39c8a0> View it on GitLab: https://gitlab.com/monnier/typer/commit/72d74b5633040ca16d305f179b5f002154b4...