diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/T3208b.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_compile/T3208b.stderr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T3208b.stderr b/testsuite/tests/indexed-types/should_compile/T3208b.stderr index b40942a5a9..0a0a491f17 100644 --- a/testsuite/tests/indexed-types/should_compile/T3208b.stderr +++ b/testsuite/tests/indexed-types/should_compile/T3208b.stderr @@ -1,6 +1,6 @@ T3208b.hs:15:10: error: - • Could not deduce: OTerm o0 ~ STerm o0 + • Could not deduce: OTerm o0 ~ STerm o0 arising from a use of ‘fce’ from the context: (OTerm a ~ STerm a, OBJECT a, SUBST a) bound by the type signature for: fce' :: (OTerm a ~ STerm a, OBJECT a, SUBST a) => a -> c @@ -11,6 +11,7 @@ T3208b.hs:15:10: error: T3208b.hs:15:15: error: • Could not deduce: OTerm 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: fce' :: (OTerm a ~ STerm a, OBJECT a, SUBST a) => a -> c |