recognize comparable tuples in type error messages
commit0a89b62af6083a941418cb6491c53b30c7e123a4
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateFri 26 Jul 2019, 09:47 (7 years ago)
parent3698de0
compiler/src/Type/Error.hs+7
@@ -450,6 +450,13 @@ isSuper super tipe =
450450 Appendable -> isString h n || isList h n
451451 CompAppend -> isString h n || isList h n && isSuper Comparable (head args)
452452
453+ Tuple a b maybeC ->
454+ case super of
455+ Number -> False
456+ Comparable -> isSuper super a && isSuper super b && maybe True (isSuper super) maybeC
457+ Appendable -> False
458+ CompAppend -> False
459+
453460 _ ->
454461 False
455462