[Typer] [Git][monnier/typer][unification] 3 commits: Tweak use of substitutions and unsusp

Stefan pushed to branch unification at Stefan / Typer

Commits: c17b5a1f by Stefan Monnier at 2016-08-26T23:47:10-04:00 Tweak use of substitutions and unsusp

* src/lexp.ml (subst): Newtype. (mkSusp): Also apply eagerly to Metavar. (push_susp): Rename from unsusp. (nosusp): Rename from ususp_all. (_lexp_to_str): Use push_susp.

- - - - - 536bba67 by Stefan Monnier at 2016-08-26T23:51:29-04:00 * src/lexp.ml (push_susp): Don't be so picky.

- - - - - a964be1b by Stefan Monnier at 2016-08-26T23:54:31-04:00 Merge branch 'trunk' into unification

- - - - -

0 changed files:

Changes:

View it on GitLab: https://gitlab.com/monnier/typer/compare/85c06461b075f72f81da8013daa30d0fb22...