diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/T3208b.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/T3208b.stderr | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T3208b.stderr b/testsuite/tests/indexed-types/should_compile/T3208b.stderr index c1a09ebfcb..216b14f095 100644 --- a/testsuite/tests/indexed-types/should_compile/T3208b.stderr +++ b/testsuite/tests/indexed-types/should_compile/T3208b.stderr @@ -1,6 +1,21 @@ +T3208b.hs:15:10: error: + • Could not deduce (OTerm o0 ~ STerm a) arising from a use of ‘fce’ + from the context: (OTerm a ~ STerm a, OBJECT a, SUBST a) + bound by the type signature for: + fce' :: forall a c. + (OTerm a ~ STerm a, OBJECT a, SUBST a) => + a -> c + at T3208b.hs:14:1-56 + The type variable ‘o0’ is ambiguous + • In the expression: fce (apply f) + In an equation for ‘fce'’: fce' f = fce (apply f) + • Relevant bindings include + f :: a (bound at T3208b.hs:15:6) + fce' :: a -> c (bound at T3208b.hs:15:1) + T3208b.hs:15:15: error: - • Could not deduce (OTerm o0 ~ STerm a) + • Could not deduce (STerm o0 ~ STerm a) arising from a use of ‘apply’ from the context: (OTerm a ~ STerm a, OBJECT a, SUBST a) bound by the type signature for: @@ -8,6 +23,7 @@ T3208b.hs:15:15: error: (OTerm a ~ STerm a, OBJECT a, SUBST a) => a -> c at T3208b.hs:14:1-56 + NB: ‘STerm’ is a non-injective type family The type variable ‘o0’ is ambiguous • In the first argument of ‘fce’, namely ‘(apply f)’ In the expression: fce (apply f) |