BONNEVALLE Vincent pushed to branch unification at Stefan / Typer
Commits: 6bc9f1f9 by n3f4s at 2016-07-06T16:39:52+02:00 change unsusp for Susp(_,_)
- - - - -
1 changed file:
- src/unification.ml
Changes:
===================================== src/unification.ml ===================================== --- a/src/unification.ml +++ b/src/unification.ml @@ -238,7 +238,7 @@ and _unify_metavar (meta: lexp) (lxp: lexp) (subst: substitution) : return_type | Some (lxp_) -> unify lxp_ lxp s | None -> (match metavar with | Metavar (_, subst_, _) -> (match inverse subst_ with - | Some s' -> Some (associate value (unsusp lxp s') s, []) + | Some s' -> Some (associate value (Susp (lxp, s')) s, []) | None -> None) | _ -> None) in
View it on GitLab: https://gitlab.com/monnier/typer/commit/6bc9f1f9eda89148c692155709647b4f26b8...