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