Don't highlight flexible record extensions
commitde745e91adbcfcca6b331fd54e56edc4bef88fdf
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateWed 25 Apr 2018, 01:38 (9 years ago)
parente02350a
compiler/src/Type/Error.hs+2−5
@@ -627,14 +627,11 @@ extToStatus ext1 ext2 =
627627 Closed ->
628628 case ext2 of
629629 Closed -> Similar
630− FlexOpen _ -> Different Bag.empty
630+ FlexOpen _ -> Similar
631631 RigidOpen _ -> Different Bag.empty
632632
633633 FlexOpen _ ->
634− case ext2 of
635− Closed -> Different Bag.empty
636− FlexOpen _ -> Similar
637− RigidOpen _ -> Similar
634+ Similar
638635
639636 RigidOpen x ->
640637 case ext2 of