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 f8c8db4bcc..292a91a674 100644 --- a/testsuite/tests/indexed-types/should_compile/T3208b.stderr +++ b/testsuite/tests/indexed-types/should_compile/T3208b.stderr @@ -4,7 +4,7 @@ T3208b.hs:15:10: 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:15:1-22 + at T3208b.hs:14:9-56 NB: `STerm' is a type function, and may not be injective The type variable `a0' is ambiguous Possible fix: add a type signature that fixes these type variable(s) @@ -18,7 +18,7 @@ T3208b.hs:15:15: 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:15:1-22 + at T3208b.hs:14:9-56 The type variable `a0' is ambiguous Possible fix: add a type signature that fixes these type variable(s) In the first argument of `fce', namely `(apply f)' |