diff options
author | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-05-05 13:18:28 +0100 |
---|---|---|
committer | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-05-06 15:03:36 +0100 |
commit | 514ed18884cf6d52ebc06a91e7c4729e6f91db7a (patch) | |
tree | b2484abaa2cc538808912c04b563e1d28d15f02b /docs | |
parent | 06072d2f547e84af96c07bd21091773135ffc6c9 (diff) | |
download | haskell-514ed18884cf6d52ebc06a91e7c4729e6f91db7a.tar.gz |
Look both ways when looking for quantified equalities
When looking up (t1 ~# t2) in the quantified constraints,
check both orientations. Forgetting this led to #23333.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions