Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[fix] stdlib, types: A missed updating of substitute environnement

  • Loading branch information...
commit 69965abb909a519cd7c6727019b260e7416f50ec 1 parent 3098bdc
@BourgerieQuentin BourgerieQuentin authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  stdlib/core/unification/opatype_unification.opa
View
2  stdlib/core/unification/opatype_unification.opa
@@ -68,7 +68,7 @@ type OpaTypeUnification.result = outcome(OpaTypeUnification.subst,OpaTypeUnifica
/* same as above but also return a global substitution optimised (for tv only) */
substitute_var(tv,ty,subst) =
match StringMap.get(tv,subst.var)
- {none} -> (ty,subst)
+ {none} -> (ty, unify_var_ty(tv,ty,subst))
{some=ty} ->
final_ty = substitute_no_opti(ty,subst)
if final_ty==ty then (ty,subst)
Please sign in to comment.
Something went wrong with that request. Please try again.