Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail072.stderr
1
2 tcfail072.hs:23:13: error:
3     • Could not deduce (Ord p0) arising from a use of ‘g’
4       from the context: (Ord p, Ord q)
5         bound by the type signature for:
6                    g :: forall p q. (Ord p, Ord q) => AB p q -> Bool
7         at tcfail072.hs:22:1-38
8       The type variable ‘p0’ is ambiguous
9       These potential instances exist:
10         instance Ord Ordering -- Defined in ‘GHC.Classes’
11         instance Ord Integer
12           -- Defined in ‘integer-gmp-1.0.0.1:GHC.Integer.Type’
13         instance Ord a => Ord (Maybe a) -- Defined in ‘GHC.Base’
14         ...plus 22 others
15         ...plus two instances involving out-of-scope types
16         (use -fprint-potential-instances to see them all)
17     • In the expression: g A
18       In an equation for ‘g’: g (B _ _) = g A