760cdf912dc3f87ebcb0ee8bfdf0719ca0589575
[ghc.git] / testsuite / tests / indexed-types / should_fail / T4485.stderr
1
2 T4485.hs:46:15:
3     Overlapping instances for EmbedAsChild
4                                 (IdentityT IO) (XMLGenT m0 (XML m0))
5       arising from a use of ‘asChild’
6     Matching instances:
7       instance [overlapping] (EmbedAsChild m c, m1 ~ m) =>
8                              EmbedAsChild m (XMLGenT m1 c)
9         -- Defined at T4485.hs:28:30
10       instance [overlapping] EmbedAsChild
11                                (IdentityT IO) (XMLGenT Identity ())
12         -- Defined at T4485.hs:41:30
13     (The choice depends on the instantiation of ‘m0’
14      To pick the first instance above, use IncoherentInstances
15      when compiling the other instance declarations)
16     In the expression: asChild
17     In the expression: asChild $ (genElement "foo")
18     In an equation for ‘asChild’:
19         asChild b = asChild $ (genElement "foo")
20
21 T4485.hs:46:26:
22     No instance for (XMLGen m0) arising from a use of ‘genElement’
23     The type variable ‘m0’ is ambiguous
24     Note: there is a potential instance available:
25       instance XMLGen (IdentityT m) -- Defined at T4485.hs:35:10
26     In the second argument of ‘($)’, namely ‘(genElement "foo")’
27     In the expression: asChild $ (genElement "foo")
28     In an equation for ‘asChild’:
29         asChild b = asChild $ (genElement "foo")