summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T20666.stderr
blob: 63a0d11c0766be9e64de7a12f92e5dede162ba64 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

T20666.hs:13:10: warning: [GHC-36038] [-Wloopy-superclass-solve (in -Wdefault)]
    I am solving the constraint ‘Show (T c)’,
      arising from the superclasses of an instance declaration,
    in a way that might turn out to loop at runtime.
    Starting from GHC 9.10, this warning will turn into an error.
    See the user manual, § Undecidable instances and loopy superclasses.
    Suggested fix:
      Add the constraint ‘Show (T c)’ to the instance context,
      even though it seems logically implied by other constraints in the context.

T20666.hs:17:10: warning: [GHC-36038] [-Wloopy-superclass-solve (in -Wdefault)]
    I am solving the constraint ‘Show (T c)’,
      arising from the superclasses of an instance declaration,
    in a way that might turn out to loop at runtime.
    Starting from GHC 9.10, this warning will turn into an error.
    See the user manual, § Undecidable instances and loopy superclasses.
    Suggested fix:
      Add the constraint ‘Show (T c)’ to the instance context,
      even though it seems logically implied by other constraints in the context.