diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/T3208b.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_compile/T3208b.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T3208b.stderr b/testsuite/tests/indexed-types/should_compile/T3208b.stderr index c9c1be88b6..45a3b9b74c 100644 --- a/testsuite/tests/indexed-types/should_compile/T3208b.stderr +++ b/testsuite/tests/indexed-types/should_compile/T3208b.stderr @@ -1,5 +1,5 @@ -T3208b.hs:15:10: error: +T3208b.hs:15:10: error: [GHC-05617] • 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: @@ -14,7 +14,7 @@ T3208b.hs:15:10: error: f :: a (bound at T3208b.hs:15:6) fce' :: a -> c (bound at T3208b.hs:15:1) -T3208b.hs:15:15: error: +T3208b.hs:15:15: error: [GHC-05617] • Could not deduce ‘STerm o0 ~ STerm a’ arising from a use of ‘apply’ from the context: (OTerm a ~ STerm a, OBJECT a, SUBST a) |