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