Testsuite error message changes
[ghc.git] / testsuite / tests / typecheck / should_fail / T5853.stderr
1
2 T5853.hs:15:52:
3     Could not deduce (Subst (Subst fa b) a ~ Subst fa a)
4     from the context (F fa,
5                       Elem (Subst fa b) ~ b,
6                       Subst (Subst fa b) (Elem fa) ~ fa,
7                       F (Subst fa a),
8                       Elem (Subst fa a) ~ a,
9                       Subst (Subst fa a) (Elem fa) ~ fa)
10       bound by the RULE "map/map" at T5853.hs:15:2-57
11     NB: ‘Subst’ is a type function, and may not be injective
12     Relevant bindings include
13       f :: Elem fa -> b (bound at T5853.hs:15:19)
14       g :: a -> Elem fa (bound at T5853.hs:15:21)
15       xs :: Subst fa a (bound at T5853.hs:15:23)
16     In the expression: (f . g) <$> xs
17     When checking the transformation rule "map/map"