Call unifyFlexSuperStructure directly
commit4a63470a2d132e41f2666b295d2a6840094ac40b
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateThu 11 May 2017, 14:57 (9 years ago)
parent60f4e71
src/Type/Unify.hs+1−1
@@ -580,7 +580,7 @@ unifyStructure context term content otherContent =
580580 merge context content
581581
582582 Var Flex (Just super) _ ->
583− unifyFlexSuper (reorient context) super otherContent content
583+ unifyFlexSuperStructure (reorient context) super term
584584
585585 Var Rigid _ maybeName ->
586586 mismatch context (Just (Error.flipReason (badRigid maybeName)))