Hamish Knight 23dbf6f106 [CS] Reverse the type order in a couple of pattern equality constraints ...

Order them such that if they were changed to
conversions, they would be sound. This shouldn't
make a difference, but unfortunately it turns out
pattern equality is not symmetric. As such, tweak
the pattern equality logic to account for the
reversed types. This allows us to remove a special
case from function matching.

2023-06-07 00:35:00 +01:00

591 KiB

Raw Blame History

View Raw