Fix a nasty superclass expansion bug
[ghc.git] / testsuite / tests / typecheck / should_fail / T5853.stderr
1
2 T5853.hs:15:46: error:
3     • Could not deduce: Subst t1 (Elem t2) ~ t2
4         arising from a use of ‘<$>’
5       from the context: (F t,
6                          Elem t ~ Elem t,
7                          Elem t2 ~ Elem t2,
8                          Subst t (Elem t2) ~ t2,
9                          Subst t2 (Elem t) ~ t,
10                          F t1,
11                          Elem t1 ~ Elem t1,
12                          Elem t ~ Elem t,
13                          Subst t1 (Elem t) ~ t,
14                          Subst t (Elem t1) ~ t1)
15         bound by the RULE "map/map" at T5853.hs:15:2-57
16       ‘t2’ is a rigid type variable bound by
17         the RULE "map/map" at T5853.hs:15:2
18     • In the expression: (f . g) <$> xs
19       When checking the transformation rule "map/map"
20     • Relevant bindings include
21         f :: Elem t -> Elem t2 (bound at T5853.hs:15:19)
22         g :: Elem t1 -> Elem t (bound at T5853.hs:15:21)
23         xs :: t1 (bound at T5853.hs:15:23)