git.iko.soy/elk
on master help sign in
Don't highlight flexible record extensions
de745e9Evan Czaplicki
compiler/src/Type/Error.hs+2−5
compare with master
unifiedsplit
@@ -627,14 +627,11 @@ extToStatus ext1 ext2 =
627 Closed ->
627 Closed ->
628 case ext2 of
628 case ext2 of
629 Closed -> Similar
629 Closed -> Similar
630− FlexOpen _ -> Different Bag.empty
630+ FlexOpen _ -> Similar
631 RigidOpen _ -> Different Bag.empty
631 RigidOpen _ -> Different Bag.empty
632
632
633 FlexOpen _ ->
633 FlexOpen _ ->
634− case ext2 of
635− Closed -> Different Bag.empty
636− FlexOpen _ -> Similar
637− RigidOpen _ -> Similar
634+ Similar
638
635
639 RigidOpen x ->
636 RigidOpen x ->
640 case ext2 of
637 case ext2 of