Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail072.stderr
1
2 tcfail072.hs:23:13:
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 :: (Ord p, Ord q) => AB p q -> Bool
7       at tcfail072.hs:22:6-38
8     The type variable ‘p0’ is ambiguous
9     Note: there are several potential instances:
10       instance Ord a => Ord (Maybe a) -- Defined in ‘GHC.Base’
11       instance Ord Ordering -- Defined in ‘GHC.Classes’
12       instance Ord integer-gmp-1.0.0.0:GHC.Integer.Type.BigNat
13         -- Defined in ‘integer-gmp-1.0.0.0:GHC.Integer.Type’
14       ...plus 23 others
15     In the expression: g A
16     In an equation for ‘g’: g (B _ _) = g A