diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail072.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail072.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail072.stderr b/testsuite/tests/typecheck/should_fail/tcfail072.stderr index 828de022e6..aa5fcc9c7e 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail072.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail072.stderr @@ -1,16 +1,16 @@ tcfail072.hs:23:13: - Could not deduce (Ord q0) arising from a use of ‛g’ + Could not deduce (Ord q0) arising from a use of ‘g’ from the context (Ord p, Ord q) bound by the type signature for g :: (Ord p, Ord q) => AB p q -> Bool at tcfail072.hs:22:6-38 - The type variable ‛q0’ is ambiguous + The type variable ‘q0’ is ambiguous Note: there are several potential instances: instance Integral a => Ord (GHC.Real.Ratio a) - -- Defined in ‛GHC.Real’ - instance Ord () -- Defined in ‛GHC.Classes’ - instance (Ord a, Ord b) => Ord (a, b) -- Defined in ‛GHC.Classes’ + -- Defined in ‘GHC.Real’ + instance Ord () -- Defined in ‘GHC.Classes’ + instance (Ord a, Ord b) => Ord (a, b) -- Defined in ‘GHC.Classes’ ...plus 23 others In the expression: g A - In an equation for ‛g’: g (B _ _) = g A + In an equation for ‘g’: g (B _ _) = g A |