diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile')
26 files changed, 140 insertions, 140 deletions
diff --git a/testsuite/tests/typecheck/should_compile/FD1.stderr b/testsuite/tests/typecheck/should_compile/FD1.stderr index 5fa16fdf15..98ed785956 100644 --- a/testsuite/tests/typecheck/should_compile/FD1.stderr +++ b/testsuite/tests/typecheck/should_compile/FD1.stderr @@ -5,9 +5,9 @@ FD1.hs:16:1: bound by the type signature for plus :: E a (Int -> Int) => Int -> a at FD1.hs:15:9-38 - ‛a’ is a rigid type variable bound by + ‘a’ is a rigid type variable bound by the type signature for plus :: E a (Int -> Int) => Int -> a at FD1.hs:15:9 Relevant bindings include plus :: Int -> a (bound at FD1.hs:16:1) - The equation(s) for ‛plus’ have two arguments, - but its type ‛Int -> a’ has only one + The equation(s) for ‘plus’ have two arguments, + but its type ‘Int -> a’ has only one diff --git a/testsuite/tests/typecheck/should_compile/FD2.stderr b/testsuite/tests/typecheck/should_compile/FD2.stderr index 679f05ddeb..06e5afd730 100644 --- a/testsuite/tests/typecheck/should_compile/FD2.stderr +++ b/testsuite/tests/typecheck/should_compile/FD2.stderr @@ -2,7 +2,7 @@ FD2.hs:26:34: Could not deduce (e ~ e1) from the context (Foldable a) - bound by the class declaration for ‛Foldable’ + bound by the class declaration for ‘Foldable’ at FD2.hs:(17,1)-(26,39) or from (Elem a e) bound by the type signature for @@ -12,11 +12,11 @@ FD2.hs:26:34: bound by the type signature for mf :: Elem a e1 => e1 -> Maybe e1 -> Maybe e1 at FD2.hs:24:18-54 - ‛e’ is a rigid type variable bound by + ‘e’ is a rigid type variable bound by the type signature for foldr1 :: Elem a e => (e -> e -> e) -> a -> e at FD2.hs:21:13 - ‛e1’ is a rigid type variable bound by + ‘e1’ is a rigid type variable bound by the type signature for mf :: Elem a e1 => e1 -> Maybe e1 -> Maybe e1 at FD2.hs:24:18 @@ -26,5 +26,5 @@ FD2.hs:26:34: mf :: e1 -> Maybe e1 -> Maybe e1 (bound at FD2.hs:25:12) f :: e -> e -> e (bound at FD2.hs:22:10) foldr1 :: (e -> e -> e) -> a -> e (bound at FD2.hs:22:3) - In the first argument of ‛Just’, namely ‛(f x y)’ + In the first argument of ‘Just’, namely ‘(f x y)’ In the expression: Just (f x y) diff --git a/testsuite/tests/typecheck/should_compile/FD3.stderr b/testsuite/tests/typecheck/should_compile/FD3.stderr index 664fd35553..d2364921f6 100644 --- a/testsuite/tests/typecheck/should_compile/FD3.stderr +++ b/testsuite/tests/typecheck/should_compile/FD3.stderr @@ -1,5 +1,5 @@ FD3.hs:15:15:
- No instance for (MkA (String, a) a) arising from a use of ‛mkA’
+ No instance for (MkA (String, a) a) arising from a use of ‘mkA’
In the expression: mkA a
- In an equation for ‛translate’: translate a = mkA a
+ In an equation for ‘translate’: translate a = mkA a
diff --git a/testsuite/tests/typecheck/should_compile/HasKey.stderr-ghc b/testsuite/tests/typecheck/should_compile/HasKey.stderr-ghc index 54607457e5..dd4d290cda 100644 --- a/testsuite/tests/typecheck/should_compile/HasKey.stderr-ghc +++ b/testsuite/tests/typecheck/should_compile/HasKey.stderr-ghc @@ -1,5 +1,5 @@ HasKey.hs:22:10: Warning: No explicit implementation for - either ‛compare’ or ‛<=’ - In the instance declaration for ‛Ord (Keyed x)’ + either ‘compare’ or ‘<=’ + In the instance declaration for ‘Ord (Keyed x)’ diff --git a/testsuite/tests/typecheck/should_compile/T2494.stderr b/testsuite/tests/typecheck/should_compile/T2494.stderr index 201230b1a5..dee00ab6b4 100644 --- a/testsuite/tests/typecheck/should_compile/T2494.stderr +++ b/testsuite/tests/typecheck/should_compile/T2494.stderr @@ -1,9 +1,9 @@ T2494.hs:15:14:
- Couldn't match type ‛b’ with ‛a’
- ‛b’ is a rigid type variable bound by
+ Couldn't match type ‘b’ with ‘a’
+ ‘b’ is a rigid type variable bound by
the RULE "foo/foo" at T2494.hs:14:16
- ‛a’ is a rigid type variable bound by
+ ‘a’ is a rigid type variable bound by
the RULE "foo/foo" at T2494.hs:13:16
Expected type: Maybe (m a) -> Maybe (m a)
Actual type: Maybe (m b) -> Maybe (m b)
@@ -13,14 +13,14 @@ T2494.hs:15:14: g :: forall (m :: * -> *). Monad m => Maybe (m b) -> Maybe (m b)
(bound at T2494.hs:14:11)
x :: Maybe a (bound at T2494.hs:14:65)
- In the first argument of ‛foo’, namely ‛g’
- In the second argument of ‛foo’, namely ‛(foo g x)’
+ In the first argument of ‘foo’, namely ‘g’
+ In the second argument of ‘foo’, namely ‘(foo g x)’
T2494.hs:15:30:
- Couldn't match type ‛b’ with ‛a’
- ‛b’ is a rigid type variable bound by
+ Couldn't match type ‘b’ with ‘a’
+ ‘b’ is a rigid type variable bound by
the RULE "foo/foo" at T2494.hs:14:16
- ‛a’ is a rigid type variable bound by
+ ‘a’ is a rigid type variable bound by
the RULE "foo/foo" at T2494.hs:13:16
Expected type: Maybe (m a) -> Maybe (m a)
Actual type: Maybe (m b) -> Maybe (m b)
@@ -30,5 +30,5 @@ T2494.hs:15:30: g :: forall (m :: * -> *). Monad m => Maybe (m b) -> Maybe (m b)
(bound at T2494.hs:14:11)
x :: Maybe a (bound at T2494.hs:14:65)
- In the second argument of ‛(.)’, namely ‛g’
- In the first argument of ‛foo’, namely ‛(f . g)’
+ In the second argument of ‘(.)’, namely ‘g’
+ In the first argument of ‘foo’, namely ‘(f . g)’
diff --git a/testsuite/tests/typecheck/should_compile/T2497.stderr b/testsuite/tests/typecheck/should_compile/T2497.stderr index 7ee9bee08e..cd7ad8bc20 100644 --- a/testsuite/tests/typecheck/should_compile/T2497.stderr +++ b/testsuite/tests/typecheck/should_compile/T2497.stderr @@ -1,2 +1,2 @@ -T2497.hs:18:1: Warning: Defined but not used: ‛beq’ +T2497.hs:18:1: Warning: Defined but not used: ‘beq’ diff --git a/testsuite/tests/typecheck/should_compile/T5481.stderr b/testsuite/tests/typecheck/should_compile/T5481.stderr index bf59427da6..df5d23b360 100644 --- a/testsuite/tests/typecheck/should_compile/T5481.stderr +++ b/testsuite/tests/typecheck/should_compile/T5481.stderr @@ -1,8 +1,8 @@ T5481.hs:6:5: - The RHS of an associated type declaration mentions type variable ‛b’ + The RHS of an associated type declaration mentions type variable ‘b’ All such variables must be bound on the LHS T5481.hs:8:5: - The RHS of an associated type declaration mentions type variable ‛a’ + The RHS of an associated type declaration mentions type variable ‘a’ All such variables must be bound on the LHS diff --git a/testsuite/tests/typecheck/should_compile/T7050.stderr b/testsuite/tests/typecheck/should_compile/T7050.stderr index 860c90757f..a7154f67ac 100644 --- a/testsuite/tests/typecheck/should_compile/T7050.stderr +++ b/testsuite/tests/typecheck/should_compile/T7050.stderr @@ -1,5 +1,5 @@ T7050.hs:3:14: Warning: - Ignoring unusable UNPACK pragma on the first argument of ‛Foo’ - In the definition of data constructor ‛Foo’ - In the data declaration for ‛Foo’ + Ignoring unusable UNPACK pragma on the first argument of ‘Foo’ + In the definition of data constructor ‘Foo’ + In the data declaration for ‘Foo’ diff --git a/testsuite/tests/typecheck/should_compile/T7562.stderr b/testsuite/tests/typecheck/should_compile/T7562.stderr index 36f1de5780..fb663fc639 100644 --- a/testsuite/tests/typecheck/should_compile/T7562.stderr +++ b/testsuite/tests/typecheck/should_compile/T7562.stderr @@ -1,5 +1,5 @@ T7562.hs:3:14: Warning: - UNPACK pragma lacks '!' on the first argument of ‛Pair2’ - In the definition of data constructor ‛Pair2’ - In the data declaration for ‛Pair2’ + UNPACK pragma lacks '!' on the first argument of ‘Pair2’ + In the definition of data constructor ‘Pair2’ + In the data declaration for ‘Pair2’ diff --git a/testsuite/tests/typecheck/should_compile/T7903.stderr-ghc b/testsuite/tests/typecheck/should_compile/T7903.stderr-ghc index 594196a06c..2214c3531f 100644 --- a/testsuite/tests/typecheck/should_compile/T7903.stderr-ghc +++ b/testsuite/tests/typecheck/should_compile/T7903.stderr-ghc @@ -1,10 +1,10 @@ T7903.hs:5:10: Warning: No explicit implementation for - either ‛==’ or ‛/=’ - In the instance declaration for ‛Eq (a -> b)’ + either ‘==’ or ‘/=’ + In the instance declaration for ‘Eq (a -> b)’ T7903.hs:6:10: Warning: No explicit implementation for - either ‛compare’ or ‛<=’ - In the instance declaration for ‛Ord (a -> b)’ + either ‘compare’ or ‘<=’ + In the instance declaration for ‘Ord (a -> b)’ diff --git a/testsuite/tests/typecheck/should_compile/holes.stderr b/testsuite/tests/typecheck/should_compile/holes.stderr index 2985863b63..da1408ff09 100644 --- a/testsuite/tests/typecheck/should_compile/holes.stderr +++ b/testsuite/tests/typecheck/should_compile/holes.stderr @@ -1,33 +1,33 @@ holes.hs:3:5: Warning: - Found hole ‛_’ with type: t - Where: ‛t’ is a rigid type variable bound by + Found hole ‘_’ with type: t + Where: ‘t’ is a rigid type variable bound by the inferred type of f :: t at holes.hs:3:1 Relevant bindings include f :: t (bound at holes.hs:3:1) In the expression: _ - In an equation for ‛f’: f = _ + In an equation for ‘f’: f = _ holes.hs:6:7: Warning: - Found hole ‛_’ with type: Char + Found hole ‘_’ with type: Char Relevant bindings include x :: Int (bound at holes.hs:6:3) g :: Int -> Char (bound at holes.hs:6:1) In the expression: _ - In an equation for ‛g’: g x = _ + In an equation for ‘g’: g x = _ holes.hs:8:5: Warning: - Found hole ‛_’ with type: [Char] + Found hole ‘_’ with type: [Char] Relevant bindings include h :: [Char] (bound at holes.hs:8:1) - In the first argument of ‛(++)’, namely ‛_’ + In the first argument of ‘(++)’, namely ‘_’ In the expression: _ ++ "a" - In an equation for ‛h’: h = _ ++ "a" + In an equation for ‘h’: h = _ ++ "a" holes.hs:11:15: Warning: - Found hole ‛_’ with type: b0 - Where: ‛b0’ is an ambiguous type variable + Found hole ‘_’ with type: b0 + Where: ‘b0’ is an ambiguous type variable Relevant bindings include y :: [a] (bound at holes.hs:11:3) z :: [a] -> [a] (bound at holes.hs:11:1) - In the second argument of ‛const’, namely ‛_’ + In the second argument of ‘const’, namely ‘_’ In the expression: const y _ - In an equation for ‛z’: z y = const y _ + In an equation for ‘z’: z y = const y _ diff --git a/testsuite/tests/typecheck/should_compile/holes2.stderr b/testsuite/tests/typecheck/should_compile/holes2.stderr index d75b5f3f1a..e953827e4a 100644 --- a/testsuite/tests/typecheck/should_compile/holes2.stderr +++ b/testsuite/tests/typecheck/should_compile/holes2.stderr @@ -1,20 +1,20 @@ holes2.hs:3:5: Warning: - No instance for (Show a0) arising from a use of ‛show’ - The type variable ‛a0’ is ambiguous + No instance for (Show a0) arising from a use of ‘show’ + The type variable ‘a0’ is ambiguous Note: there are several potential instances: - instance Show Double -- Defined in ‛GHC.Float’ - instance Show Float -- Defined in ‛GHC.Float’ + instance Show Double -- Defined in ‘GHC.Float’ + instance Show Float -- Defined in ‘GHC.Float’ instance (Integral a, Show a) => Show (GHC.Real.Ratio a) - -- Defined in ‛GHC.Real’ + -- Defined in ‘GHC.Real’ ...plus 24 others In the expression: show _ - In an equation for ‛f’: f = show _ + In an equation for ‘f’: f = show _ holes2.hs:3:10: Warning: - Found hole ‛_’ with type: a0 - Where: ‛a0’ is an ambiguous type variable + Found hole ‘_’ with type: a0 + Where: ‘a0’ is an ambiguous type variable Relevant bindings include f :: String (bound at holes2.hs:3:1) - In the first argument of ‛show’, namely ‛_’ + In the first argument of ‘show’, namely ‘_’ In the expression: show _ - In an equation for ‛f’: f = show _ + In an equation for ‘f’: f = show _ diff --git a/testsuite/tests/typecheck/should_compile/holes3.stderr b/testsuite/tests/typecheck/should_compile/holes3.stderr index abfeab0e4a..e203acaa74 100644 --- a/testsuite/tests/typecheck/should_compile/holes3.stderr +++ b/testsuite/tests/typecheck/should_compile/holes3.stderr @@ -1,33 +1,33 @@ holes3.hs:3:5: - Found hole ‛_’ with type: t - Where: ‛t’ is a rigid type variable bound by + Found hole ‘_’ with type: t + Where: ‘t’ is a rigid type variable bound by the inferred type of f :: t at holes3.hs:3:1 Relevant bindings include f :: t (bound at holes3.hs:3:1) In the expression: _ - In an equation for ‛f’: f = _ + In an equation for ‘f’: f = _ holes3.hs:6:7: - Found hole ‛_gr’ with type: Char + Found hole ‘_gr’ with type: Char Relevant bindings include x :: Int (bound at holes3.hs:6:3) g :: Int -> Char (bound at holes3.hs:6:1) In the expression: _gr - In an equation for ‛g’: g x = _gr + In an equation for ‘g’: g x = _gr holes3.hs:8:5: - Found hole ‛_aa’ with type: [Char] + Found hole ‘_aa’ with type: [Char] Relevant bindings include h :: [Char] (bound at holes3.hs:8:1) - In the first argument of ‛(++)’, namely ‛_aa’ + In the first argument of ‘(++)’, namely ‘_aa’ In the expression: _aa ++ "a" - In an equation for ‛h’: h = _aa ++ "a" + In an equation for ‘h’: h = _aa ++ "a" holes3.hs:11:15: - Found hole ‛_x’ with type: b0 - Where: ‛b0’ is an ambiguous type variable + Found hole ‘_x’ with type: b0 + Where: ‘b0’ is an ambiguous type variable Relevant bindings include y :: [a] (bound at holes3.hs:11:3) z :: [a] -> [a] (bound at holes3.hs:11:1) - In the second argument of ‛const’, namely ‛_x’ + In the second argument of ‘const’, namely ‘_x’ In the expression: const y _x - In an equation for ‛z’: z y = const y _x + In an equation for ‘z’: z y = const y _x diff --git a/testsuite/tests/typecheck/should_compile/tc056.stderr b/testsuite/tests/typecheck/should_compile/tc056.stderr index c05f9b3bc2..0c8f669b30 100644 --- a/testsuite/tests/typecheck/should_compile/tc056.stderr +++ b/testsuite/tests/typecheck/should_compile/tc056.stderr @@ -3,4 +3,4 @@ tc056.hs:16:10: Warning: Duplicate constraint(s): Eq' a In the context: (Eq' a, Eq' a) While checking an instance declaration - In the instance declaration for ‛Eq' [a]’ + In the instance declaration for ‘Eq' [a]’ diff --git a/testsuite/tests/typecheck/should_compile/tc078.stderr-ghc b/testsuite/tests/typecheck/should_compile/tc078.stderr-ghc index 5eae74e23f..bb5d9f566e 100644 --- a/testsuite/tests/typecheck/should_compile/tc078.stderr-ghc +++ b/testsuite/tests/typecheck/should_compile/tc078.stderr-ghc @@ -1,10 +1,10 @@ tc078.hs:7:10: Warning: No explicit implementation for - either ‛==’ or ‛/=’ - In the instance declaration for ‛Eq (Bar a)’ + either ‘==’ or ‘/=’ + In the instance declaration for ‘Eq (Bar a)’ tc078.hs:8:10: Warning: No explicit implementation for - either ‛compare’ or ‛<=’ - In the instance declaration for ‛Ord (Bar a)’ + either ‘compare’ or ‘<=’ + In the instance declaration for ‘Ord (Bar a)’ diff --git a/testsuite/tests/typecheck/should_compile/tc115.stderr-ghc b/testsuite/tests/typecheck/should_compile/tc115.stderr-ghc index c9f18fb3c0..e90ef21e12 100644 --- a/testsuite/tests/typecheck/should_compile/tc115.stderr-ghc +++ b/testsuite/tests/typecheck/should_compile/tc115.stderr-ghc @@ -1,5 +1,5 @@ tc115.hs:12:10: Warning: No explicit implementation for - ‛foo’ - In the instance declaration for ‛Foo [m a] (m a)’ + ‘foo’ + In the instance declaration for ‘Foo [m a] (m a)’ diff --git a/testsuite/tests/typecheck/should_compile/tc116.stderr-ghc b/testsuite/tests/typecheck/should_compile/tc116.stderr-ghc index 641f541290..91fa0a1130 100644 --- a/testsuite/tests/typecheck/should_compile/tc116.stderr-ghc +++ b/testsuite/tests/typecheck/should_compile/tc116.stderr-ghc @@ -1,5 +1,5 @@ tc116.hs:12:10: Warning: No explicit implementation for - ‛foo’ - In the instance declaration for ‛Foo [m a] (m a)’ + ‘foo’ + In the instance declaration for ‘Foo [m a] (m a)’ diff --git a/testsuite/tests/typecheck/should_compile/tc125.stderr-ghc b/testsuite/tests/typecheck/should_compile/tc125.stderr-ghc index 5b92b3321e..5631c08a1c 100644 --- a/testsuite/tests/typecheck/should_compile/tc125.stderr-ghc +++ b/testsuite/tests/typecheck/should_compile/tc125.stderr-ghc @@ -1,25 +1,25 @@ tc125.hs:16:10: Warning: No explicit implementation for - ‛add’ - In the instance declaration for ‛Add Z a a’ + ‘add’ + In the instance declaration for ‘Add Z a a’ tc125.hs:17:10: Warning: No explicit implementation for - ‛add’ - In the instance declaration for ‛Add (S a) b (S c)’ + ‘add’ + In the instance declaration for ‘Add (S a) b (S c)’ tc125.hs:21:10: Warning: No explicit implementation for - ‛mul’ - In the instance declaration for ‛Mul Z a Z’ + ‘mul’ + In the instance declaration for ‘Mul Z a Z’ tc125.hs:22:10: Warning: No explicit implementation for - ‛mul’ - In the instance declaration for ‛Mul (S a) b d’ + ‘mul’ + In the instance declaration for ‘Mul (S a) b d’ tc125.hs:29:10: Warning: No explicit implementation for - ‛add’ - In the instance declaration for ‛Add (Q a b) (Q c d) (Q ad_bc bd)’ + ‘add’ + In the instance declaration for ‘Add (Q a b) (Q c d) (Q ad_bc bd)’ diff --git a/testsuite/tests/typecheck/should_compile/tc126.stderr-ghc b/testsuite/tests/typecheck/should_compile/tc126.stderr-ghc index 1e84ac3d95..4adc2a29f4 100644 --- a/testsuite/tests/typecheck/should_compile/tc126.stderr-ghc +++ b/testsuite/tests/typecheck/should_compile/tc126.stderr-ghc @@ -1,10 +1,10 @@ tc126.hs:15:25: Warning: No explicit implementation for - ‛bug’ - In the instance declaration for ‛Bug (Int -> r) Int r’ + ‘bug’ + In the instance declaration for ‘Bug (Int -> r) Int r’ tc126.hs:16:10: Warning: No explicit implementation for - ‛bug’ - In the instance declaration for ‛Bug f (c a) (c r)’ + ‘bug’ + In the instance declaration for ‘Bug f (c a) (c r)’ diff --git a/testsuite/tests/typecheck/should_compile/tc141.stderr b/testsuite/tests/typecheck/should_compile/tc141.stderr index b63aa997ce..9279d033b5 100644 --- a/testsuite/tests/typecheck/should_compile/tc141.stderr +++ b/testsuite/tests/typecheck/should_compile/tc141.stderr @@ -1,14 +1,14 @@ tc141.hs:11:12: - You cannot bind scoped type variable ‛a’ + You cannot bind scoped type variable ‘a’ in a pattern binding signature In the pattern: p :: a In the pattern: (p :: a, q :: a) In a pattern binding: (p :: a, q :: a) = x tc141.hs:11:31: - Couldn't match expected type ‛a1’ with actual type ‛a’ - because type variable ‛a1’ would escape its scope + Couldn't match expected type ‘a1’ with actual type ‘a’ + because type variable ‘a1’ would escape its scope This (rigid, skolem) type variable is bound by an expression type signature: a1 at tc141.hs:11:31-34 @@ -21,7 +21,7 @@ tc141.hs:11:31: In the expression: (q :: a, p) tc141.hs:13:13: - You cannot bind scoped type variable ‛a’ + You cannot bind scoped type variable ‘a’ in a pattern binding signature In the pattern: y :: a In a pattern binding: y :: a = a @@ -33,8 +33,8 @@ tc141.hs:13:13: in v tc141.hs:15:18: - Couldn't match expected type ‛a2’ with actual type ‛t’ - because type variable ‛a2’ would escape its scope + Couldn't match expected type ‘a2’ with actual type ‘t’ + because type variable ‘a2’ would escape its scope This (rigid, skolem) type variable is bound by the type signature for v :: a2 at tc141.hs:14:19 @@ -43,4 +43,4 @@ tc141.hs:15:18: b :: t (bound at tc141.hs:13:5) g :: a -> t -> a1 (bound at tc141.hs:13:1) In the expression: b - In an equation for ‛v’: v = b + In an equation for ‘v’: v = b diff --git a/testsuite/tests/typecheck/should_compile/tc161.stderr-ghc b/testsuite/tests/typecheck/should_compile/tc161.stderr-ghc index a91168c22a..163fde19cd 100644 --- a/testsuite/tests/typecheck/should_compile/tc161.stderr-ghc +++ b/testsuite/tests/typecheck/should_compile/tc161.stderr-ghc @@ -1,5 +1,5 @@ tc161.hs:17:10: Warning: No explicit implementation for - ‛op’ - In the instance declaration for ‛Foo Int’ + ‘op’ + In the instance declaration for ‘Foo Int’ diff --git a/testsuite/tests/typecheck/should_compile/tc167.stderr b/testsuite/tests/typecheck/should_compile/tc167.stderr index 32d0c80c43..5d869af801 100644 --- a/testsuite/tests/typecheck/should_compile/tc167.stderr +++ b/testsuite/tests/typecheck/should_compile/tc167.stderr @@ -1,5 +1,5 @@ tc167.hs:8:15:
- Expecting a lifted type, but ‛Int#’ is unlifted
- In the type ‛(->) Int#’
- In the type declaration for ‛T’
+ Expecting a lifted type, but ‘Int#’ is unlifted
+ In the type ‘(->) Int#’
+ In the type declaration for ‘T’
diff --git a/testsuite/tests/typecheck/should_compile/tc168.stderr b/testsuite/tests/typecheck/should_compile/tc168.stderr index 6fbc96f934..de1467b2b4 100644 --- a/testsuite/tests/typecheck/should_compile/tc168.stderr +++ b/testsuite/tests/typecheck/should_compile/tc168.stderr @@ -1,11 +1,11 @@ tc168.hs:17:1: Could not deduce (C a1 (a, b0)) - arising from the ambiguity check for ‛g’ + arising from the ambiguity check for ‘g’ from the context (C a1 (a, b)) - bound by the inferred type for ‛g’: C a1 (a, b) => a1 -> a + bound by the inferred type for ‘g’: C a1 (a, b) => a1 -> a at tc168.hs:17:1-16 - The type variable ‛b0’ is ambiguous - When checking that ‛g’ - has the inferred type ‛forall a b a1. C a1 (a, b) => a1 -> a’ + The type variable ‘b0’ is ambiguous + When checking that ‘g’ + has the inferred type ‘forall a b a1. C a1 (a, b) => a1 -> a’ Probable cause: the inferred type is ambiguous diff --git a/testsuite/tests/typecheck/should_compile/tc175.stderr b/testsuite/tests/typecheck/should_compile/tc175.stderr index 982cee89b7..b7a0eedb68 100644 --- a/testsuite/tests/typecheck/should_compile/tc175.stderr +++ b/testsuite/tests/typecheck/should_compile/tc175.stderr @@ -1,5 +1,5 @@ tc175.hs:13:10: Warning: No explicit implementation for - either ‛showsPrec’ or ‛show’ - In the instance declaration for ‛Show (a -> b)’ + either ‘showsPrec’ or ‘show’ + In the instance declaration for ‘Show (a -> b)’ diff --git a/testsuite/tests/typecheck/should_compile/tc211.stderr b/testsuite/tests/typecheck/should_compile/tc211.stderr index 00e1d0351d..bdc5bd1879 100644 --- a/testsuite/tests/typecheck/should_compile/tc211.stderr +++ b/testsuite/tests/typecheck/should_compile/tc211.stderr @@ -1,73 +1,73 @@ tc211.hs:15:22: - Couldn't match type ‛forall a6. a6 -> a6’ with ‛a -> a’ + Couldn't match type ‘forall a6. a6 -> a6’ with ‘a -> a’ Expected type: [a -> a] Actual type: [forall a. a -> a] - In the first argument of ‛head’, namely ‛foo’ - In the first argument of ‛(:) :: + In the first argument of ‘head’, namely ‘foo’ + In the first argument of ‘(:) :: (forall a. a -> a) -> [forall a. a -> a] -> [forall a. a -> a]’, namely - ‛(head foo)’ + ‘(head foo)’ tc211.hs:48:19: - Could not deduce (Num a2) arising from the literal ‛3’ + Could not deduce (Num a2) arising from the literal ‘3’ from the context (Num a) bound by the inferred type of h1 :: Num a => (forall a1. a1 -> a1) -> a at tc211.hs:(47,1)-(49,9) - The type variable ‛a2’ is ambiguous + The type variable ‘a2’ is ambiguous Relevant bindings include y :: Pair a2 (Pair a3 b1) (bound at tc211.hs:48:10) Note: there are several potential instances: - instance Num Double -- Defined in ‛GHC.Float’ - instance Num Float -- Defined in ‛GHC.Float’ + instance Num Double -- Defined in ‘GHC.Float’ + instance Num Float -- Defined in ‘GHC.Float’ instance Integral a => Num (GHC.Real.Ratio a) - -- Defined in ‛GHC.Real’ + -- Defined in ‘GHC.Real’ ...plus three others - In the first argument of ‛g’, namely ‛3’ - In the first argument of ‛P’, namely ‛(g 3)’ + In the first argument of ‘g’, namely ‘3’ + In the first argument of ‘P’, namely ‘(g 3)’ In the expression: P (g 3) (g (P 3 4)) tc211.hs:48:28: - Could not deduce (Num a3) arising from the literal ‛3’ + Could not deduce (Num a3) arising from the literal ‘3’ from the context (Num a) bound by the inferred type of h1 :: Num a => (forall a1. a1 -> a1) -> a at tc211.hs:(47,1)-(49,9) - The type variable ‛a3’ is ambiguous + The type variable ‘a3’ is ambiguous Relevant bindings include y :: Pair a2 (Pair a3 b1) (bound at tc211.hs:48:10) Note: there are several potential instances: - instance Num Double -- Defined in ‛GHC.Float’ - instance Num Float -- Defined in ‛GHC.Float’ + instance Num Double -- Defined in ‘GHC.Float’ + instance Num Float -- Defined in ‘GHC.Float’ instance Integral a => Num (GHC.Real.Ratio a) - -- Defined in ‛GHC.Real’ + -- Defined in ‘GHC.Real’ ...plus three others - In the first argument of ‛P’, namely ‛3’ - In the first argument of ‛g’, namely ‛(P 3 4)’ - In the second argument of ‛P’, namely ‛(g (P 3 4))’ + In the first argument of ‘P’, namely ‘3’ + In the first argument of ‘g’, namely ‘(P 3 4)’ + In the second argument of ‘P’, namely ‘(g (P 3 4))’ tc211.hs:48:30: - Could not deduce (Num b1) arising from the literal ‛4’ + Could not deduce (Num b1) arising from the literal ‘4’ from the context (Num a) bound by the inferred type of h1 :: Num a => (forall a1. a1 -> a1) -> a at tc211.hs:(47,1)-(49,9) - The type variable ‛b1’ is ambiguous + The type variable ‘b1’ is ambiguous Relevant bindings include y :: Pair a2 (Pair a3 b1) (bound at tc211.hs:48:10) Note: there are several potential instances: - instance Num Double -- Defined in ‛GHC.Float’ - instance Num Float -- Defined in ‛GHC.Float’ + instance Num Double -- Defined in ‘GHC.Float’ + instance Num Float -- Defined in ‘GHC.Float’ instance Integral a => Num (GHC.Real.Ratio a) - -- Defined in ‛GHC.Real’ + -- Defined in ‘GHC.Real’ ...plus three others - In the second argument of ‛P’, namely ‛4’ - In the first argument of ‛g’, namely ‛(P 3 4)’ - In the second argument of ‛P’, namely ‛(g (P 3 4))’ + In the second argument of ‘P’, namely ‘4’ + In the first argument of ‘g’, namely ‘(P 3 4)’ + In the second argument of ‘P’, namely ‘(g (P 3 4))’ tc211.hs:70:9: - Couldn't match type ‛forall a7. a7 -> a7’ with ‛a6 -> a6’ + Couldn't match type ‘forall a7. a7 -> a7’ with ‘a6 -> a6’ Expected type: List (forall a. a -> a) -> (forall a. a -> a) -> a6 -> a6 Actual type: List (forall a. a -> a) diff --git a/testsuite/tests/typecheck/should_compile/tc254.stderr b/testsuite/tests/typecheck/should_compile/tc254.stderr index a721c7e3b4..885b505828 100644 --- a/testsuite/tests/typecheck/should_compile/tc254.stderr +++ b/testsuite/tests/typecheck/should_compile/tc254.stderr @@ -1,4 +1,4 @@ tc254.hs:8:1: Warning: - No explicit associated type or default declaration for ‛Typ’ - In the instance declaration for ‛Cls Int’ + No explicit associated type or default declaration for ‘Typ’ + In the instance declaration for ‘Cls Int’ |