Testsuite error message changes
[ghc.git] / testsuite / tests / typecheck / should_compile / FD2.stderr
1
2 FD2.hs:26:34:
3     Couldn't match expected type ‘e1’ with actual type ‘e’
4       ‘e’ is a rigid type variable bound by
5           the type signature for
6             foldr1 :: Elem a e => (e -> e -> e) -> a -> e
7           at FD2.hs:21:13
8       ‘e1’ is a rigid type variable bound by
9            the type signature for
10              mf :: Elem a e1 => e1 -> Maybe e1 -> Maybe e1
11            at FD2.hs:24:18
12     Relevant bindings include
13       y :: e1 (bound at FD2.hs:26:23)
14       x :: e1 (bound at FD2.hs:26:15)
15       mf :: e1 -> Maybe e1 -> Maybe e1 (bound at FD2.hs:25:12)
16       f :: e -> e -> e (bound at FD2.hs:22:10)
17       foldr1 :: (e -> e -> e) -> a -> e (bound at FD2.hs:22:3)
18     In the first argument of ‘Just’, namely ‘(f x y)’
19     In the expression: Just (f x y)