git.iko.soy/elk
on master help sign in
Call unifyFlexSuperStructure directly
4a63470Evan Czaplicki
src/Type/Unify.hs+1−1
compare with master
unifiedsplit
@@ -580,7 +580,7 @@ unifyStructure context term content otherContent =
580 merge context content
580 merge context content
581
581
582 Var Flex (Just super) _ ->
582 Var Flex (Just super) _ ->
583− unifyFlexSuper (reorient context) super otherContent content
583+ unifyFlexSuperStructure (reorient context) super term
584
584
585 Var Rigid _ maybeName ->
585 Var Rigid _ maybeName ->
586 mismatch context (Just (Error.flipReason (badRigid maybeName)))
586 mismatch context (Just (Error.flipReason (badRigid maybeName)))