summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/T4485.stderr
blob: a9e9792cda57d4195e5bed04114def92703775a4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

T4485.hs:47:15:
    Overlapping instances for EmbedAsChild
                                (IdentityT IO) (XMLGenT m0 (XML m0))
      arising from a use of `asChild'
    Matching instances:
      instance [overlap ok] (m1 ~ m, EmbedAsChild m c) =>
                            EmbedAsChild m (XMLGenT m1 c)
        -- Defined at T4485.hs:29:10-68
      instance [overlap ok] EmbedAsChild
                              (IdentityT IO) (XMLGenT Identity ())
        -- Defined at T4485.hs:42:10-58
    (The choice depends on the instantiation of `m0'
     To pick the first instance above, use -XIncoherentInstances
     when compiling the other instance declarations)
    In the expression: asChild
    In the expression: asChild $ (genElement "foo")
    In an equation for `asChild':
        asChild b = asChild $ (genElement "foo")