Data.Type.Ord.< is backwards in base-4.16.0.0
Summary
Write a brief description of the issue.
type x < y = (x >? y) ~ 'True
is in the released base
.
This is fixed by the commit to improve error messages, but is not fixed in the 9.2 backport branch.
Steps to reproduce
:kind! 5 < 2
:kind! 2 < 5
Expected behavior
False ~ True
True ~ True
Environment
- GHC version used: 9.2.1
-
base
version: 4.16.0.0