70c7edf · elk · git.iko.soy

git.iko.soy/elk

Fix little typos in new record unification code

commit70c7edfc919611902c572ca3e4e914e065177a54 authorEvan Czaplicki <evancz@users.noreply.github.com> dateMon 15 Jan 2018, 22:28 (9 years ago) parentd89ada2

1 file changed+4−4

compare with master

unifiedsplit

src/Type/Unify.hs+4−4

src/Type/Unify.hs+4−4

@@ -642,17 +642,17 @@ unifyRecord context (RecordStructure fields1 ext1) (RecordStructure fields2 ext2

642642 (unifySharedFields context sharedFields Map.empty ext1)

643643

644644 else

645− do subRecord <- fresh context (Structure (Record1 uniqueFields1 ext1))

645+ do subRecord <- fresh context (Structure (Record1 uniqueFields2 ext2))

646646 try2

647− (subUnify subRecord ext2)

647+ (subUnify ext1 subRecord)

648648 (unifySharedFields context sharedFields Map.empty subRecord)

649649

650650 else

651651

652652 if Map.null uniqueFields2 then

653− do subRecord <- fresh context (Structure (Record1 uniqueFields2 ext2))

653+ do subRecord <- fresh context (Structure (Record1 uniqueFields1 ext1))

654654 try2

655− (subUnify ext1 subRecord)

655+ (subUnify subRecord ext2)

656656 (unifySharedFields context sharedFields Map.empty subRecord)

657657

658658 else