blob: 1d344d78333c3dd49485a614ea3865900c78236b (
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 not broken later.
:m + Data.Coerce
:info Coercible
:info coerce
|