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