[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...
Afficher les réponses par date
participants (1)
-
Stefan