blob: b53614baffe09f4da55c25370adc9b7cd2081c7b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T22912.hs:17:16: warning: [GHC-36038] [-Wloopy-superclass-solve (in -Wdefault)]
I am solving the constraint ‘Implies c’,
arising from the head of a quantified constraint
arising from a use of ‘go’,
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 ‘Implies
c’ to the context of the quantified constraint,
even though it seems logically implied by other constraints in the context.
|