[Git][monnier/typer][unification] change unsusp for Susp(_, _)
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...
Afficher les réponses par date
participants (1)
-
BONNEVALLE Vincent