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