diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T4485.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4485.stderr | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4485.stderr b/testsuite/tests/indexed-types/should_fail/T4485.stderr index 4cf3b153fd..bdf5218b42 100644 --- a/testsuite/tests/indexed-types/should_fail/T4485.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4485.stderr @@ -13,11 +13,10 @@ T4485.hs:50:15: error: (The choice depends on the instantiation of ‘m0’ To pick the first instance above, use IncoherentInstances when compiling the other instance declarations) - • In the expression: asChild $ (genElement "foo") + • In the first argument of ‘($)’, namely ‘asChild’ + In the expression: asChild $ (genElement "foo") In an equation for ‘asChild’: asChild b = asChild $ (genElement "foo") - In the instance declaration for - ‘EmbedAsChild (IdentityT IO) FooBar’ T4485.hs:50:26: error: • Ambiguous type variable ‘m0’ arising from a use of ‘genElement’ |