5ee40a7faffd45733eff5bbe54652067aca71f88
[ghc.git] / testsuite / tests / indexed-types / should_compile / T3208b.stderr
1
2 T3208b.hs:15:10:
3     Could not deduce (STerm o0 ~ OTerm o0)
4     from the context (OTerm a ~ STerm a, OBJECT a, SUBST a)
5       bound by the type signature for
6                  fce' :: (OTerm a ~ STerm a, OBJECT a, SUBST a) => a -> c
7       at T3208b.hs:14:9-56
8     The type variable ‘o0’ is ambiguous
9     In the expression: fce (apply f)
10     In an equation for ‘fce'’: fce' f = fce (apply f)
11
12 T3208b.hs:15:15:
13     Could not deduce (OTerm o0 ~ OTerm a)
14     from the context (OTerm a ~ STerm a, OBJECT a, SUBST a)
15       bound by the type signature for
16                  fce' :: (OTerm a ~ STerm a, OBJECT a, SUBST a) => a -> c
17       at T3208b.hs:14:9-56
18     NB: ‘OTerm’ is a type function, and may not be injective
19     The type variable ‘o0’ is ambiguous
20     Expected type: STerm a
21       Actual type: OTerm o0
22     Relevant bindings include
23       f :: a (bound at T3208b.hs:15:6)
24       fce' :: a -> c (bound at T3208b.hs:15:1)
25     In the first argument of ‘fce’, namely ‘(apply f)’
26     In the expression: fce (apply f)
27     In an equation for ‘fce'’: fce' f = fce (apply f)