diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T4485.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4485.stderr | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4485.stderr b/testsuite/tests/indexed-types/should_fail/T4485.stderr new file mode 100644 index 0000000000..a9e9792cda --- /dev/null +++ b/testsuite/tests/indexed-types/should_fail/T4485.stderr @@ -0,0 +1,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") |