diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile')
-rw-r--r-- | testsuite/tests/indexed-types/should_compile/Simple14.stderr | 2 | ||||
-rw-r--r-- | testsuite/tests/indexed-types/should_compile/T3208b.stderr | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/Simple14.stderr b/testsuite/tests/indexed-types/should_compile/Simple14.stderr index d3531ac9c5..861013259c 100644 --- a/testsuite/tests/indexed-types/should_compile/Simple14.stderr +++ b/testsuite/tests/indexed-types/should_compile/Simple14.stderr @@ -2,7 +2,7 @@ Simple14.hs:8:8: Couldn't match type ‘z0’ with ‘z’ ‘z0’ is untouchable - inside the constraints (x ~ y) + inside the constraints: x ~ y bound by the type signature for: eqE :: (x ~ y) => EQ_ z0 z0 at Simple14.hs:8:8-39 ‘z’ is a rigid type variable bound by diff --git a/testsuite/tests/indexed-types/should_compile/T3208b.stderr b/testsuite/tests/indexed-types/should_compile/T3208b.stderr index b476088162..b5014d0049 100644 --- a/testsuite/tests/indexed-types/should_compile/T3208b.stderr +++ b/testsuite/tests/indexed-types/should_compile/T3208b.stderr @@ -1,7 +1,7 @@ T3208b.hs:15:10: - Could not deduce (STerm o0 ~ OTerm o0) - from the context (OTerm a ~ STerm a, OBJECT a, SUBST a) + Could not deduce: STerm o0 ~ OTerm o0 + 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 at T3208b.hs:14:9-56 @@ -10,8 +10,8 @@ T3208b.hs:15:10: In an equation for ‘fce'’: fce' f = fce (apply f) T3208b.hs:15:15: - Could not deduce (OTerm o0 ~ OTerm a) - from the context (OTerm a ~ STerm a, OBJECT a, SUBST a) + Could not deduce: OTerm o0 ~ OTerm a + 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 at T3208b.hs:14:9-56 |