Suppress redundant givens during error reporting
[ghc.git] / testsuite / tests / typecheck / should_fail / T15361.stderr
1
2 T15361.hs:13:13: error:
3     • Could not deduce: a ~ c
4       from the context: b ~ a
5         bound by a pattern with constructor:
6                    HRefl :: forall k1 (a :: k1). a :~~: a,
7                  in an equation for ‘foo’
8         at T15361.hs:13:5-9
9       ‘a’ is a rigid type variable bound by
10         the type signature for:
11           foo :: forall a b c. (a :~~: b) -> a :~~: c
12         at T15361.hs:(11,1)-(12,27)
13       ‘c’ is a rigid type variable bound by
14         the type signature for:
15           foo :: forall a b c. (a :~~: b) -> a :~~: c
16         at T15361.hs:(11,1)-(12,27)
17       Expected type: a :~~: c
18         Actual type: a :~~: a
19     • In the expression: HRefl
20       In an equation for ‘foo’: foo HRefl = HRefl
21     • Relevant bindings include
22         foo :: (a :~~: b) -> a :~~: c (bound at T15361.hs:13:1)
23
24 T15361.hs:20:27: error:
25     • Could not deduce (Show a) arising from a use of ‘show’
26       from the context: Ord a
27         bound by a pattern with constructor:
28                    IGetKnockedDown :: forall a. (Eq a, Ord a) => a -> Chumbawamba a,
29                  in an equation for ‘goo’
30         at T15361.hs:20:6-22
31       Possible fix:
32         add (Show a) to the context of
33           the type signature for:
34             goo :: forall a. Chumbawamba a -> String
35     • In the expression: show x
36       In an equation for ‘goo’: goo (IGetKnockedDown x) = show x