blob: 936277e336c9532c48d1be1be940c8f459d3b6d5 (
plain)
1
2
3
4
5
6
|
-- At one point, :info Coercible would not report it as a constraint, but as a
-- data type. So this test case ensures that this is broken later.
:m + Data.Coerce
:info Coercible
:info coerce
|