blob: c1daab09df8dfae43c9cd71728c018c9e837f80b (
plain)
1
2
3
4
5
6
7
8
9
10
|
T6161.hs:19:10: warning: [GHC-36038] [-Wloopy-superclass-solve (in -Wdefault)]
I am solving the constraint ‘Super (Fam a)’,
arising from the superclasses of an instance declaration,
in a way that might turn out to loop at runtime.
Future versions of GHC will turn this warning into an error.
See the user manual, § Undecidable instances and loopy superclasses.
Suggested fix:
Add the constraint ‘Super (Fam a)’ to the instance context,
even though it seems logically implied by other constraints in the context.
|