diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail')
73 files changed, 226 insertions, 226 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr b/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr index dfbb7dc142..107f5ffec3 100644 --- a/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr +++ b/testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr @@ -1,6 +1,6 @@ ClosedFam3.hs-boot:5:1: - Type constructor ‛Foo’ has conflicting definitions in the module + Type constructor ‘Foo’ has conflicting definitions in the module and its hs-boot file Main module: type family Foo a :: * where Foo Int = Bool @@ -8,7 +8,7 @@ ClosedFam3.hs-boot:5:1: Boot file: type family Foo a :: * where Foo Int = Bool ClosedFam3.hs-boot:8:1: - Type constructor ‛Bar’ has conflicting definitions in the module + Type constructor ‘Bar’ has conflicting definitions in the module and its hs-boot file Main module: type family Bar a :: * where Bar Int = Bool @@ -18,7 +18,7 @@ ClosedFam3.hs-boot:8:1: Bar Double = Char ClosedFam3.hs-boot:12:1: - Type constructor ‛Baz’ has conflicting definitions in the module + Type constructor ‘Baz’ has conflicting definitions in the module and its hs-boot file Main module: type family Baz a :: * where Baz Int = Bool Boot file: type family Baz (a :: k) :: * where Baz Int = Bool diff --git a/testsuite/tests/indexed-types/should_fail/ClosedFam4.stderr b/testsuite/tests/indexed-types/should_fail/ClosedFam4.stderr index e70ec94a6d..2ba73e19ab 100644 --- a/testsuite/tests/indexed-types/should_fail/ClosedFam4.stderr +++ b/testsuite/tests/indexed-types/should_fail/ClosedFam4.stderr @@ -2,4 +2,4 @@ ClosedFam4.hs:5:1: You may omit the equations in a closed type family only in a .hs-boot file - In the type family declaration for ‛Foo’ + In the type family declaration for ‘Foo’ diff --git a/testsuite/tests/indexed-types/should_fail/DerivUnsatFam.stderr b/testsuite/tests/indexed-types/should_fail/DerivUnsatFam.stderr index 1a54b82974..dbff63583f 100644 --- a/testsuite/tests/indexed-types/should_fail/DerivUnsatFam.stderr +++ b/testsuite/tests/indexed-types/should_fail/DerivUnsatFam.stderr @@ -1,5 +1,5 @@ DerivUnsatFam.hs:8:1:
- Can't make a derived instance of ‛Functor T’:
- No family instance for ‛T’
- In the stand-alone deriving instance for ‛Functor T’
+ Can't make a derived instance of ‘Functor T’:
+ No family instance for ‘T’
+ In the stand-alone deriving instance for ‘Functor T’
diff --git a/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr b/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr index 4b7532c962..8ce4d38b78 100644 --- a/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr +++ b/testsuite/tests/indexed-types/should_fail/ExtraTcsUntch.stderr @@ -1,6 +1,6 @@ ExtraTcsUntch.hs:24:53: - Could not deduce (C [t] [a]) arising from a use of ‛op’ + Could not deduce (C [t] [a]) arising from a use of ‘op’ from the context (F Int ~ [[t]]) bound by the inferred type of f :: F Int ~ [[t]] => [t] -> ((), ((), ())) diff --git a/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr b/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr index b12ea50925..dc94b9a7c3 100644 --- a/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr +++ b/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr @@ -6,12 +6,12 @@ GADTwrong1.hs:12:19: T :: forall a. a -> T (Const a), in a case alternative at GADTwrong1.hs:12:12-14 - ‛a1’ is a rigid type variable bound by + ‘a1’ is a rigid type variable bound by a pattern with constructor T :: forall a. a -> T (Const a), in a case alternative at GADTwrong1.hs:12:12 - ‛b’ is a rigid type variable bound by + ‘b’ is a rigid type variable bound by the type signature for coerce :: a -> b at GADTwrong1.hs:10:20 Relevant bindings include y :: a1 (bound at GADTwrong1.hs:12:14) diff --git a/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr b/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr index 06a4f0cbe0..1ff540979b 100644 --- a/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr +++ b/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr @@ -4,11 +4,11 @@ NoMatchErr.hs:19:7: from the context (Fun d) bound by the type signature for f :: Fun d => Memo d a -> Memo d a at NoMatchErr.hs:19:7-37 - NB: ‛Memo’ is a type function, and may not be injective - The type variable ‛d0’ is ambiguous + NB: ‘Memo’ is a type function, and may not be injective + The type variable ‘d0’ is ambiguous Expected type: Memo d a -> Memo d a Actual type: Memo d0 a -> Memo d0 a In the ambiguity check for: forall d a. Fun d => Memo d a -> Memo d a To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - In the type signature for ‛f’: f :: Fun d => Memo d a -> Memo d a + In the type signature for ‘f’: f :: Fun d => Memo d a -> Memo d a diff --git a/testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr b/testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr index b06cae35f7..dd479b7664 100644 --- a/testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr +++ b/testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr @@ -3,16 +3,16 @@ NotRelaxedExamples.hs:9:15: Nested type family application in the type family application: F1 (F1 Char) (Use UndecidableInstances to permit this) - In the type instance declaration for ‛F1’ + In the type instance declaration for ‘F1’ NotRelaxedExamples.hs:10:15: Application is no smaller than the instance head in the type family application: F2 [x] (Use UndecidableInstances to permit this) - In the type instance declaration for ‛F2’ + In the type instance declaration for ‘F2’ NotRelaxedExamples.hs:11:15: Application is no smaller than the instance head in the type family application: F3 [Char] (Use UndecidableInstances to permit this) - In the type instance declaration for ‛F3’ + In the type instance declaration for ‘F3’ diff --git a/testsuite/tests/indexed-types/should_fail/Overlap10.stderr b/testsuite/tests/indexed-types/should_fail/Overlap10.stderr index aad494e1a8..5a53870eff 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap10.stderr +++ b/testsuite/tests/indexed-types/should_fail/Overlap10.stderr @@ -1,8 +1,8 @@ Overlap10.hs:10:7: - Couldn't match expected type ‛F a Bool’ with actual type ‛Bool’ + Couldn't match expected type ‘F a Bool’ with actual type ‘Bool’ Relevant bindings include x :: a (bound at Overlap10.hs:10:3) g :: a -> F a Bool (bound at Overlap10.hs:10:1) In the expression: False - In an equation for ‛g’: g x = False + In an equation for ‘g’: g x = False diff --git a/testsuite/tests/indexed-types/should_fail/Overlap11.stderr b/testsuite/tests/indexed-types/should_fail/Overlap11.stderr index 4dc7407e89..6e3286eb27 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap11.stderr +++ b/testsuite/tests/indexed-types/should_fail/Overlap11.stderr @@ -1,8 +1,8 @@ Overlap11.hs:10:8: - Couldn't match expected type ‛F a Int’ with actual type ‛Int’ + Couldn't match expected type ‘F a Int’ with actual type ‘Int’ Relevant bindings include x :: a (bound at Overlap11.hs:10:3) g :: a -> F a Int (bound at Overlap11.hs:10:1) In the expression: (5 :: Int) - In an equation for ‛g’: g x = (5 :: Int) + In an equation for ‘g’: g x = (5 :: Int) diff --git a/testsuite/tests/indexed-types/should_fail/Overlap15.stderr b/testsuite/tests/indexed-types/should_fail/Overlap15.stderr index bafe63c61e..a24504caa4 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap15.stderr +++ b/testsuite/tests/indexed-types/should_fail/Overlap15.stderr @@ -1,7 +1,7 @@ Overlap15.hs:16:9:
- Couldn't match expected type ‛F b [b] Bool’ with actual type ‛Bool’
+ Couldn't match expected type ‘F b [b] Bool’ with actual type ‘Bool’
Relevant bindings include
foo :: Proxy b -> F b [b] Bool (bound at Overlap15.hs:16:1)
In the expression: False
- In an equation for ‛foo’: foo _ = False
+ In an equation for ‘foo’: foo _ = False
diff --git a/testsuite/tests/indexed-types/should_fail/Overlap3.stderr b/testsuite/tests/indexed-types/should_fail/Overlap3.stderr index c8d1b5ef80..5659fd1875 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap3.stderr +++ b/testsuite/tests/indexed-types/should_fail/Overlap3.stderr @@ -1,4 +1,4 @@ Overlap3.hs:8:1: - Illegal instance for closed family ‛F’ - In the type instance declaration for ‛F’ + Illegal instance for closed family ‘F’ + In the type instance declaration for ‘F’ diff --git a/testsuite/tests/indexed-types/should_fail/Overlap4.stderr b/testsuite/tests/indexed-types/should_fail/Overlap4.stderr index 329b1ee11a..d64036c4bc 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap4.stderr +++ b/testsuite/tests/indexed-types/should_fail/Overlap4.stderr @@ -1,5 +1,5 @@ Overlap4.hs:7:3: Number of parameters must match family declaration; expected 2 - In the equations for closed type family ‛F’ - In the type family declaration for ‛F’ + In the equations for closed type family ‘F’ + In the type family declaration for ‘F’ diff --git a/testsuite/tests/indexed-types/should_fail/Overlap5.stderr b/testsuite/tests/indexed-types/should_fail/Overlap5.stderr index 201dc416c1..3adf2f3c3e 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap5.stderr +++ b/testsuite/tests/indexed-types/should_fail/Overlap5.stderr @@ -2,4 +2,4 @@ Overlap5.hs:8:3: Mismatched type names in closed type family declaration. First name was F; this one is G - In the family declaration for ‛F’ + In the family declaration for ‘F’ diff --git a/testsuite/tests/indexed-types/should_fail/Overlap6.stderr b/testsuite/tests/indexed-types/should_fail/Overlap6.stderr index a0167bc2de..209e2af3e3 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap6.stderr +++ b/testsuite/tests/indexed-types/should_fail/Overlap6.stderr @@ -1,7 +1,7 @@ Overlap6.hs:15:7:
- Couldn't match type ‛x’ with ‛And x 'True’
- ‛x’ is a rigid type variable bound by
+ Couldn't match type ‘x’ with ‘And x 'True’
+ ‘x’ is a rigid type variable bound by
the type signature for g :: Proxy x -> Proxy (And x 'True)
at Overlap6.hs:14:6
Expected type: Proxy (And x 'True)
@@ -10,4 +10,4 @@ Overlap6.hs:15:7: x :: Proxy x (bound at Overlap6.hs:15:3)
g :: Proxy x -> Proxy (And x 'True) (bound at Overlap6.hs:15:1)
In the expression: x
- In an equation for ‛g’: g x = x
+ In an equation for ‘g’: g x = x
diff --git a/testsuite/tests/indexed-types/should_fail/Overlap7.stderr b/testsuite/tests/indexed-types/should_fail/Overlap7.stderr index 2858f792b2..179251d5a2 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap7.stderr +++ b/testsuite/tests/indexed-types/should_fail/Overlap7.stderr @@ -1,4 +1,4 @@ Overlap7.hs:8:1: - Illegal instance for closed family ‛F’ - In the type instance declaration for ‛F’ + Illegal instance for closed family ‘F’ + In the type instance declaration for ‘F’ diff --git a/testsuite/tests/indexed-types/should_fail/Overlap9.stderr b/testsuite/tests/indexed-types/should_fail/Overlap9.stderr index 69f37f1137..92cf6202de 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap9.stderr +++ b/testsuite/tests/indexed-types/should_fail/Overlap9.stderr @@ -8,4 +8,4 @@ Overlap9.hs:10:7: x :: a (bound at Overlap9.hs:10:3) g :: a -> F a (bound at Overlap9.hs:10:1) In the expression: length (show x) - In an equation for ‛g’: g x = length (show x) + In an equation for ‘g’: g x = length (show x) diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail12.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail12.stderr index e93b4f4d1e..11664e67bd 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail12.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail12.stderr @@ -1,4 +1,4 @@ SimpleFail12.hs:8:15: Illegal polymorphic or qualified type: forall a. [a] - In the type instance declaration for ‛C’ + In the type instance declaration for ‘C’ diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail13.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail13.stderr index a31dda6b8b..6cb6fe0e50 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail13.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail13.stderr @@ -1,8 +1,8 @@ SimpleFail13.hs:9:1: Illegal type synonym family application in instance: [C a] - In the data instance declaration for ‛D’ + In the data instance declaration for ‘D’ SimpleFail13.hs:13:15: Illegal type synonym family application in instance: [C a] - In the type instance declaration for ‛E’ + In the type instance declaration for ‘E’ diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail14.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail14.stderr index b6015046f7..666f725ff1 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail14.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail14.stderr @@ -1,6 +1,6 @@ SimpleFail14.hs:5:15: - Expected a type, but ‛a ~ a’ has kind ‛Constraint’ - In the type ‛a ~ a’ - In the definition of data constructor ‛T’ - In the data declaration for ‛T’ + Expected a type, but ‘a ~ a’ has kind ‘Constraint’ + In the type ‘a ~ a’ + In the definition of data constructor ‘T’ + In the data declaration for ‘T’ diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr index 1b1d03c2e5..c54ba1697d 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr @@ -2,5 +2,5 @@ SimpleFail15.hs:5:8: Illegal polymorphic or qualified type: a ~ b => t Perhaps you intended to use RankNTypes or Rank2Types - In the type signature for ‛foo’: + In the type signature for ‘foo’: foo :: (a, b) -> (a ~ b => t) -> (a, b) diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr index 1e50ae1c3c..0d663a6497 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail16.stderr @@ -1,9 +1,9 @@ SimpleFail16.hs:10:12: - Couldn't match expected type ‛p0 a0’ with actual type ‛F ()’ - The type variables ‛p0’, ‛a0’ are ambiguous + Couldn't match expected type ‘p0 a0’ with actual type ‘F ()’ + The type variables ‘p0’, ‘a0’ are ambiguous Relevant bindings include bar :: p0 a0 (bound at SimpleFail16.hs:10:1) - In the first argument of ‛foo’, namely ‛(undefined :: F ())’ + In the first argument of ‘foo’, namely ‘(undefined :: F ())’ In the expression: foo (undefined :: F ()) - In an equation for ‛bar’: bar = foo (undefined :: F ()) + In an equation for ‘bar’: bar = foo (undefined :: F ()) diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail1a.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail1a.stderr index 2e7b982a6b..8318927522 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail1a.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail1a.stderr @@ -1,4 +1,4 @@ SimpleFail1a.hs:4:1: - Couldn't match kind ‛* -> *’ against ‛*’ - In the data instance declaration for ‛T1’ + Couldn't match kind ‘* -> *’ against ‘*’ + In the data instance declaration for ‘T1’ diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail1b.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail1b.stderr index 8a3f5dfbcd..e1059a430b 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail1b.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail1b.stderr @@ -1,4 +1,4 @@ SimpleFail1b.hs:4:1: Number of parameters must match family declaration; expected no more than 2 - In the data instance declaration for ‛T1’ + In the data instance declaration for ‘T1’ diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail2a.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail2a.stderr index 5d058756a3..30a06a3eb3 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail2a.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail2a.stderr @@ -1,6 +1,6 @@ SimpleFail2a.hs:11:3: Type indexes must match class instance head - Found ‛a’ but expected ‛Int’ - In the data instance declaration for ‛Sd’ - In the instance declaration for ‛C Int’ + Found ‘a’ but expected ‘Int’ + In the data instance declaration for ‘Sd’ + In the instance declaration for ‘C Int’ diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail3a.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail3a.stderr index cdf4251318..7db6f3b91a 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail3a.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail3a.stderr @@ -1,5 +1,5 @@ SimpleFail3a.hs:10:3: Wrong category of family instance; declaration was for a data type - In the type instance declaration for ‛S1’ - In the instance declaration for ‛C1 Int’ + In the type instance declaration for ‘S1’ + In the instance declaration for ‘C1 Int’ diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail4.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail4.stderr index b9d99df243..91a3eb282a 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail4.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail4.stderr @@ -1,6 +1,6 @@ SimpleFail4.hs:8:8: Type indexes must match class instance head - Found ‛Int’ but expected ‛a’ - In the type synonym instance default declaration for ‛S2’ - In the class declaration for ‛C2’ + Found ‘Int’ but expected ‘a’ + In the type synonym instance default declaration for ‘S2’ + In the class declaration for ‘C2’ diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr index 8cadf52b49..dc88c87c74 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail5a.stderr @@ -1,7 +1,7 @@ SimpleFail5a.hs:31:11: - Couldn't match type ‛a’ with ‛Int’ - ‛a’ is a rigid type variable bound by + Couldn't match type ‘a’ with ‘Int’ + ‘a’ is a rigid type variable bound by the type signature for bar3wrong :: S3 a -> a at SimpleFail5a.hs:30:14 Expected type: S3 a @@ -9,4 +9,4 @@ SimpleFail5a.hs:31:11: Relevant bindings include bar3wrong :: S3 a -> a (bound at SimpleFail5a.hs:31:1) In the pattern: D3Int - In an equation for ‛bar3wrong’: bar3wrong D3Int = 1 + In an equation for ‘bar3wrong’: bar3wrong D3Int = 1 diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail5b.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail5b.stderr index 2861582d97..0dfd570cc0 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail5b.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail5b.stderr @@ -1,7 +1,7 @@ SimpleFail5b.hs:31:12: - Couldn't match type ‛Char’ with ‛Int’ + Couldn't match type ‘Char’ with ‘Int’ Expected type: S3 Int Actual type: S3 Char In the pattern: D3Char - In an equation for ‛bar3wrong'’: bar3wrong' D3Char = 'a' + In an equation for ‘bar3wrong'’: bar3wrong' D3Char = 'a' diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail6.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail6.stderr index 71e9e56668..6b12656863 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail6.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail6.stderr @@ -1,5 +1,5 @@ SimpleFail6.hs:7:11: - Conflicting definitions for ‛a’ + Conflicting definitions for ‘a’ Bound at: SimpleFail6.hs:7:11 SimpleFail6.hs:7:13 diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail7.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail7.stderr index 4778f0dcc3..643709ec7e 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail7.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail7.stderr @@ -1,4 +1,4 @@ SimpleFail7.hs:8:1: - Associated type ‛S5’ must be inside a class instance - In the data instance declaration for ‛S5’ + Associated type ‘S5’ must be inside a class instance + In the data instance declaration for ‘S5’ diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail8.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail8.stderr index ae25f9da56..ea54a4a862 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail8.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail8.stderr @@ -1,6 +1,6 @@ SimpleFail8.hs:9:8: - ‛Map’ is not a (visible) associated type of class ‛C6’ + ‘Map’ is not a (visible) associated type of class ‘C6’ SimpleFail8.hs:10:8: - ‛S3’ is not a (visible) associated type of class ‛C6’ + ‘S3’ is not a (visible) associated type of class ‘C6’ diff --git a/testsuite/tests/indexed-types/should_fail/T1897b.stderr b/testsuite/tests/indexed-types/should_fail/T1897b.stderr index 5bb6ef1650..06d81a146b 100644 --- a/testsuite/tests/indexed-types/should_fail/T1897b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T1897b.stderr @@ -2,13 +2,13 @@ T1897b.hs:16:1: Could not deduce (Depend a0 ~ Depend a) from the context (Bug a) - bound by the inferred type for ‛isValid’: + bound by the inferred type for ‘isValid’: Bug a => [Depend a] -> Bool at T1897b.hs:16:1-41 - NB: ‛Depend’ is a type function, and may not be injective - The type variable ‛a0’ is ambiguous + NB: ‘Depend’ is a type function, and may not be injective + The type variable ‘a0’ is ambiguous Expected type: [Depend a] -> Bool Actual type: [Depend a0] -> Bool - When checking that ‛isValid’ - has the inferred type ‛forall a. Bug a => [Depend a] -> Bool’ + When checking that ‘isValid’ + has the inferred type ‘forall a. Bug a => [Depend a] -> Bool’ Probable cause: the inferred type is ambiguous diff --git a/testsuite/tests/indexed-types/should_fail/T1900.stderr b/testsuite/tests/indexed-types/should_fail/T1900.stderr index 896a441b5a..435d5e8312 100644 --- a/testsuite/tests/indexed-types/should_fail/T1900.stderr +++ b/testsuite/tests/indexed-types/should_fail/T1900.stderr @@ -4,11 +4,11 @@ T1900.hs:13:10: from the context (Bug s) bound by the type signature for check :: Bug s => Depend s -> Bool at T1900.hs:13:10-36 - NB: ‛Depend’ is a type function, and may not be injective - The type variable ‛s0’ is ambiguous + NB: ‘Depend’ is a type function, and may not be injective + The type variable ‘s0’ is ambiguous Expected type: Depend s -> Bool Actual type: Depend s0 -> Bool In the ambiguity check for: forall s. Bug s => Depend s -> Bool To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - In the type signature for ‛check’: + In the type signature for ‘check’: check :: Bug s => Depend s -> Bool diff --git a/testsuite/tests/indexed-types/should_fail/T2157.stderr b/testsuite/tests/indexed-types/should_fail/T2157.stderr index 0f6f272de9..13d436ae43 100644 --- a/testsuite/tests/indexed-types/should_fail/T2157.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2157.stderr @@ -1,4 +1,4 @@ T2157.hs:7:15: - Type synonym ‛S’ should have 2 arguments, but has been given 1 - In the type instance declaration for ‛F’ + Type synonym ‘S’ should have 2 arguments, but has been given 1 + In the type instance declaration for ‘F’ diff --git a/testsuite/tests/indexed-types/should_fail/T2203a.stderr b/testsuite/tests/indexed-types/should_fail/T2203a.stderr index 67390f298f..f6e7f31d3c 100644 --- a/testsuite/tests/indexed-types/should_fail/T2203a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2203a.stderr @@ -2,4 +2,4 @@ T2203a.hs:13:19: Illegal type synonym family application in instance: Either a (TheFoo a) - In the instance declaration for ‛Bar (Either a (TheFoo a))’ + In the instance declaration for ‘Bar (Either a (TheFoo a))’ diff --git a/testsuite/tests/indexed-types/should_fail/T2239.stderr b/testsuite/tests/indexed-types/should_fail/T2239.stderr index b322d9f06d..4a223ae8cb 100644 --- a/testsuite/tests/indexed-types/should_fail/T2239.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2239.stderr @@ -1,28 +1,28 @@ T2239.hs:47:13: - Couldn't match type ‛b -> b’ - with ‛forall b1. MyEq b1 Bool => b1 -> b1’ + Couldn't match type ‘b -> b’ + with ‘forall b1. MyEq b1 Bool => b1 -> b1’ Expected type: (forall b1. MyEq b1 Bool => b1 -> b1) -> b -> b Actual type: (b -> b) -> b -> b In the expression: id :: (forall b. MyEq b Bool => b -> b) -> (forall b. MyEq b Bool => b -> b) - In an equation for ‛complexFD’: + In an equation for ‘complexFD’: complexFD = id :: (forall b. MyEq b Bool => b -> b) -> (forall b. MyEq b Bool => b -> b) T2239.hs:50:13: - Couldn't match type ‛Bool -> Bool’ - with ‛forall b1. b1 ~ Bool => b1 -> b1’ + Couldn't match type ‘Bool -> Bool’ + with ‘forall b1. b1 ~ Bool => b1 -> b1’ Expected type: (forall b1. b1 ~ Bool => b1 -> b1) -> b -> b Actual type: (b -> b) -> b -> b In the expression: id :: (forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b) - In an equation for ‛complexTF’: + In an equation for ‘complexTF’: complexTF = id :: (forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b) diff --git a/testsuite/tests/indexed-types/should_fail/T2334A.stderr b/testsuite/tests/indexed-types/should_fail/T2334A.stderr index ff4e35206f..6b4197bfb4 100644 --- a/testsuite/tests/indexed-types/should_fail/T2334A.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2334A.stderr @@ -1,15 +1,15 @@ T2334A.hs:9:26: The constructor of a newtype must have exactly one field - but ‛F’ has two - In the definition of data constructor ‛F’ - In the newtype instance declaration for ‛F’ + but ‘F’ has two + In the definition of data constructor ‘F’ + In the newtype instance declaration for ‘F’ T2334A.hs:10:27: The constructor of a newtype must have exactly one field - but ‛H’ has none - In the definition of data constructor ‛H’ - In the newtype instance declaration for ‛F’ + but ‘H’ has none + In the definition of data constructor ‘H’ + In the newtype instance declaration for ‘F’ T2334A.hs:12:15: Conflicting family instance declarations: diff --git a/testsuite/tests/indexed-types/should_fail/T2544.stderr b/testsuite/tests/indexed-types/should_fail/T2544.stderr index a068ef3268..244580f922 100644 --- a/testsuite/tests/indexed-types/should_fail/T2544.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2544.stderr @@ -3,24 +3,24 @@ T2544.hs:15:18: Could not deduce (IxMap i0 ~ IxMap l) from the context (Ix l, Ix r) bound by the instance declaration at T2544.hs:13:10-37 - NB: ‛IxMap’ is a type function, and may not be injective - The type variable ‛i0’ is ambiguous + NB: ‘IxMap’ is a type function, and may not be injective + The type variable ‘i0’ is ambiguous Expected type: IxMap l [Int] Actual type: IxMap i0 [Int] Relevant bindings include empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:15:4) - In the first argument of ‛BiApp’, namely ‛empty’ + In the first argument of ‘BiApp’, namely ‘empty’ In the expression: BiApp empty empty T2544.hs:15:24: Could not deduce (IxMap i1 ~ IxMap r) from the context (Ix l, Ix r) bound by the instance declaration at T2544.hs:13:10-37 - NB: ‛IxMap’ is a type function, and may not be injective - The type variable ‛i1’ is ambiguous + NB: ‘IxMap’ is a type function, and may not be injective + The type variable ‘i1’ is ambiguous Expected type: IxMap r [Int] Actual type: IxMap i1 [Int] Relevant bindings include empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:15:4) - In the second argument of ‛BiApp’, namely ‛empty’ + In the second argument of ‘BiApp’, namely ‘empty’ In the expression: BiApp empty empty diff --git a/testsuite/tests/indexed-types/should_fail/T2627b.stderr b/testsuite/tests/indexed-types/should_fail/T2627b.stderr index 61399d02dd..2cb51a9fad 100644 --- a/testsuite/tests/indexed-types/should_fail/T2627b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2627b.stderr @@ -2,7 +2,7 @@ T2627b.hs:20:24: Occurs check: cannot construct the infinite type: a0 ~ Dual (Dual a0) - The type variable ‛a0’ is ambiguous + The type variable ‘a0’ is ambiguous In the expression: conn undefined undefined - In an equation for ‛conn’: + In an equation for ‘conn’: conn (Rd k) (Wr a r) = conn undefined undefined diff --git a/testsuite/tests/indexed-types/should_fail/T2664.stderr b/testsuite/tests/indexed-types/should_fail/T2664.stderr index a8d24c816f..4104eb58c4 100644 --- a/testsuite/tests/indexed-types/should_fail/T2664.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2664.stderr @@ -8,16 +8,16 @@ T2664.hs:31:52: newPChan :: ((a :*: b) ~ Dual c, c ~ Dual (a :*: b)) => IO (PChan (a :*: b), PChan c) at T2664.hs:23:5-12 - ‛b’ is a rigid type variable bound by + ‘b’ is a rigid type variable bound by the instance declaration at T2664.hs:22:10 - ‛a’ is a rigid type variable bound by + ‘a’ is a rigid type variable bound by the instance declaration at T2664.hs:22:10 Expected type: Dual (Dual a) Actual type: b Relevant bindings include v :: MVar (Either (PChan a) (PChan b)) (bound at T2664.hs:24:9) newPChan :: IO (PChan (a :*: b), PChan c) (bound at T2664.hs:23:5) - In the third argument of ‛pchoose’, namely ‛newPChan’ - In the first argument of ‛E’, namely ‛(pchoose Right v newPChan)’ + In the third argument of ‘pchoose’, namely ‘newPChan’ + In the first argument of ‘E’, namely ‘(pchoose Right v newPChan)’ In the expression: E (pchoose Right v newPChan) (pchoose Left v newPChan) diff --git a/testsuite/tests/indexed-types/should_fail/T2693.stderr b/testsuite/tests/indexed-types/should_fail/T2693.stderr index 34fdfbde74..58b27696ea 100644 --- a/testsuite/tests/indexed-types/should_fail/T2693.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2693.stderr @@ -1,37 +1,37 @@ T2693.hs:11:7: - Couldn't match expected type ‛TFn a’ with actual type ‛TFn a0’ - NB: ‛TFn’ is a type function, and may not be injective - The type variable ‛a0’ is ambiguous - When checking that ‛x’ has the inferred type ‛forall a. TFn a’ + Couldn't match expected type ‘TFn a’ with actual type ‘TFn a0’ + NB: ‘TFn’ is a type function, and may not be injective + The type variable ‘a0’ is ambiguous + When checking that ‘x’ has the inferred type ‘forall a. TFn a’ Probable cause: the inferred type is ambiguous In the expression: do { let Just x = ...; let n = fst x + fst x; return () } - In an equation for ‛f’: + In an equation for ‘f’: f = do { let Just x = ...; let n = ...; return () } T2693.hs:19:15: - Couldn't match expected type ‛(a2, b0)’ with actual type ‛TFn a3’ - The type variables ‛a2’, ‛b0’, ‛a3’ are ambiguous + Couldn't match expected type ‘(a2, b0)’ with actual type ‘TFn a3’ + The type variables ‘a2’, ‘b0’, ‘a3’ are ambiguous Relevant bindings include n :: a2 (bound at T2693.hs:19:7) - In the first argument of ‛fst’, namely ‛x’ - In the first argument of ‛(+)’, namely ‛fst x’ + In the first argument of ‘fst’, namely ‘x’ + In the first argument of ‘(+)’, namely ‘fst x’ T2693.hs:19:23: - Couldn't match expected type ‛(a4, a2)’ with actual type ‛TFn a5’ - The type variables ‛a2’, ‛a4’, ‛a5’ are ambiguous + Couldn't match expected type ‘(a4, a2)’ with actual type ‘TFn a5’ + The type variables ‘a2’, ‘a4’, ‘a5’ are ambiguous Relevant bindings include n :: a2 (bound at T2693.hs:19:7) - In the first argument of ‛snd’, namely ‛x’ - In the second argument of ‛(+)’, namely ‛snd x’ + In the first argument of ‘snd’, namely ‘x’ + In the second argument of ‘(+)’, namely ‘snd x’ T2693.hs:29:20: - Couldn't match type ‛TFn a0’ with ‛PVR a1’ - The type variables ‛a0’, ‛a1’ are ambiguous + Couldn't match type ‘TFn a0’ with ‘PVR a1’ + The type variables ‘a0’, ‘a1’ are ambiguous Expected type: () -> Maybe (PVR a1) Actual type: () -> Maybe (TFn a0) - In the first argument of ‛mapM’, namely ‛g’ + In the first argument of ‘mapM’, namely ‘g’ In a stmt of a 'do' block: pvs <- mapM g undefined diff --git a/testsuite/tests/indexed-types/should_fail/T3092.stderr b/testsuite/tests/indexed-types/should_fail/T3092.stderr index 436db19f81..141945c781 100644 --- a/testsuite/tests/indexed-types/should_fail/T3092.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3092.stderr @@ -1,10 +1,10 @@ T3092.hs:5:1: - Illegal family instance for ‛T’ + Illegal family instance for ‘T’ (T is not an indexed type family) - In the data instance declaration for ‛T’ + In the data instance declaration for ‘T’ T3092.hs:8:1: - Illegal family instance for ‛S’ + Illegal family instance for ‘S’ (S is not an indexed type family) - In the type instance declaration for ‛S’ + In the type instance declaration for ‘S’ diff --git a/testsuite/tests/indexed-types/should_fail/T3330a.stderr b/testsuite/tests/indexed-types/should_fail/T3330a.stderr index 8f7813c5f8..4596f9b7a6 100644 --- a/testsuite/tests/indexed-types/should_fail/T3330a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3330a.stderr @@ -1,7 +1,7 @@ T3330a.hs:19:34: - Couldn't match type ‛s’ with ‛(->) (s0 ix0 -> ix1)’ - ‛s’ is a rigid type variable bound by + Couldn't match type ‘s’ with ‘(->) (s0 ix0 -> ix1)’ + ‘s’ is a rigid type variable bound by the type signature for children :: s ix -> PF s r ix -> [AnyF s] at T3330a.hs:18:13 Expected type: (s0 ix0 -> ix1) @@ -11,12 +11,12 @@ T3330a.hs:19:34: x :: PF s r ix (bound at T3330a.hs:19:12) p :: s ix (bound at T3330a.hs:19:10) children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) - In the first argument of ‛hmapM’, namely ‛p’ - In the first argument of ‛execWriter’, namely ‛(hmapM p collect x)’ + In the first argument of ‘hmapM’, namely ‘p’ + In the first argument of ‘execWriter’, namely ‘(hmapM p collect x)’ T3330a.hs:19:34: - Couldn't match type ‛ix’ with ‛r ix1 -> Writer [AnyF s] (r'0 ix1)’ - ‛ix’ is a rigid type variable bound by + Couldn't match type ‘ix’ with ‘r ix1 -> Writer [AnyF s] (r'0 ix1)’ + ‘ix’ is a rigid type variable bound by the type signature for children :: s ix -> PF s r ix -> [AnyF s] at T3330a.hs:18:13 Expected type: (s0 ix0 -> ix1) @@ -26,12 +26,12 @@ T3330a.hs:19:34: x :: PF s r ix (bound at T3330a.hs:19:12) p :: s ix (bound at T3330a.hs:19:10) children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) - In the first argument of ‛hmapM’, namely ‛p’ - In the first argument of ‛execWriter’, namely ‛(hmapM p collect x)’ + In the first argument of ‘hmapM’, namely ‘p’ + In the first argument of ‘execWriter’, namely ‘(hmapM p collect x)’ T3330a.hs:19:44: - Couldn't match type ‛ix’ with ‛r0 ix0 -> Writer [AnyF s0] (r0 ix0)’ - ‛ix’ is a rigid type variable bound by + Couldn't match type ‘ix’ with ‘r0 ix0 -> Writer [AnyF s0] (r0 ix0)’ + ‘ix’ is a rigid type variable bound by the type signature for children :: s ix -> PF s r ix -> [AnyF s] at T3330a.hs:18:13 Expected type: PF s r (r0 ix0 -> Writer [AnyF s0] (r0 ix0)) @@ -40,5 +40,5 @@ T3330a.hs:19:44: x :: PF s r ix (bound at T3330a.hs:19:12) p :: s ix (bound at T3330a.hs:19:10) children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) - In the third argument of ‛hmapM’, namely ‛x’ - In the first argument of ‛execWriter’, namely ‛(hmapM p collect x)’ + In the third argument of ‘hmapM’, namely ‘x’ + In the first argument of ‘execWriter’, namely ‘(hmapM p collect x)’ diff --git a/testsuite/tests/indexed-types/should_fail/T3330c.stderr b/testsuite/tests/indexed-types/should_fail/T3330c.stderr index 3e938c5705..f9108f2849 100644 --- a/testsuite/tests/indexed-types/should_fail/T3330c.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3330c.stderr @@ -5,13 +5,13 @@ T3330c.hs:23:43: bound by a pattern with constructor RSum :: forall (f :: * -> *) (g :: * -> *). R f -> R g -> R (f :+: g), - in an equation for ‛plug'’ + in an equation for ‘plug'’ at T3330c.hs:23:8-17 - ‛f1’ is a rigid type variable bound by + ‘f1’ is a rigid type variable bound by a pattern with constructor RSum :: forall (f :: * -> *) (g :: * -> *). R f -> R g -> R (f :+: g), - in an equation for ‛plug'’ + in an equation for ‘plug'’ at T3330c.hs:23:8 Expected type: Der ((->) x) (f1 x) Actual type: R f1 @@ -20,5 +20,5 @@ T3330c.hs:23:43: df :: f1 x (bound at T3330c.hs:23:25) rf :: R f1 (bound at T3330c.hs:23:13) plug' :: R f -> Der f x -> x -> f x (bound at T3330c.hs:23:1) - In the first argument of ‛plug’, namely ‛rf’ - In the first argument of ‛Inl’, namely ‛(plug rf df x)’ + In the first argument of ‘plug’, namely ‘rf’ + In the first argument of ‘Inl’, namely ‘(plug rf df x)’ diff --git a/testsuite/tests/indexed-types/should_fail/T3440.stderr b/testsuite/tests/indexed-types/should_fail/T3440.stderr index b01594951f..5e8c7b4f2b 100644 --- a/testsuite/tests/indexed-types/should_fail/T3440.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3440.stderr @@ -4,14 +4,14 @@ T3440.hs:11:22: from the context (Fam a ~ Fam a1) bound by a pattern with constructor GADT :: forall a. a -> Fam a -> GADT (Fam a), - in an equation for ‛unwrap’ + in an equation for ‘unwrap’ at T3440.hs:11:9-16 - ‛a1’ is a rigid type variable bound by + ‘a1’ is a rigid type variable bound by a pattern with constructor GADT :: forall a. a -> Fam a -> GADT (Fam a), - in an equation for ‛unwrap’ + in an equation for ‘unwrap’ at T3440.hs:11:9 - ‛a’ is a rigid type variable bound by + ‘a’ is a rigid type variable bound by the type signature for unwrap :: GADT (Fam a) -> (a, Fam a) at T3440.hs:10:11 Relevant bindings include diff --git a/testsuite/tests/indexed-types/should_fail/T4093a.stderr b/testsuite/tests/indexed-types/should_fail/T4093a.stderr index 8dfd987b36..e8b7749871 100644 --- a/testsuite/tests/indexed-types/should_fail/T4093a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4093a.stderr @@ -4,11 +4,11 @@ T4093a.hs:8:8: from the context (Foo e ~ Maybe e) bound by the type signature for hang :: Foo e ~ Maybe e => Foo e at T4093a.hs:7:9-34 - ‛e’ is a rigid type variable bound by + ‘e’ is a rigid type variable bound by the type signature for hang :: Foo e ~ Maybe e => Foo e at T4093a.hs:7:9 Expected type: Foo e Actual type: Maybe () Relevant bindings include hang :: Foo e (bound at T4093a.hs:8:1) In the expression: Just () - In an equation for ‛hang’: hang = Just () + In an equation for ‘hang’: hang = Just () diff --git a/testsuite/tests/indexed-types/should_fail/T4093b.stderr b/testsuite/tests/indexed-types/should_fail/T4093b.stderr index 8d5f80108e..7fedfa64d3 100644 --- a/testsuite/tests/indexed-types/should_fail/T4093b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4093b.stderr @@ -8,7 +8,7 @@ T4093b.hs:31:13: EitherCO x (A C C n) (A C O n) ~ A C x n) => Block n e x -> A e x n at T4093b.hs:(20,3)-(22,26) - ‛e’ is a rigid type variable bound by + ‘e’ is a rigid type variable bound by the type signature for blockToNodeList :: (EitherCO e (A C O n) (A O O n) ~ A e O n, EitherCO x (A C C n) (A C O n) ~ A C x n) => @@ -26,8 +26,8 @@ T4093b.hs:31:13: b :: Block n e x (bound at T4093b.hs:25:17) blockToNodeList :: Block n e x -> A e x n (bound at T4093b.hs:25:1) In the expression: (JustC n, NothingC) - In an equation for ‛f’: f n _ = (JustC n, NothingC) - In an equation for ‛blockToNodeList’: + In an equation for ‘f’: f n _ = (JustC n, NothingC) + In an equation for ‘blockToNodeList’: blockToNodeList b = foldBlockNodesF (f, l) b z where diff --git a/testsuite/tests/indexed-types/should_fail/T4099.stderr b/testsuite/tests/indexed-types/should_fail/T4099.stderr index 1b21b930d9..a16223254d 100644 --- a/testsuite/tests/indexed-types/should_fail/T4099.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4099.stderr @@ -1,21 +1,21 @@ T4099.hs:11:30: - Couldn't match expected type ‛T a0’ with actual type ‛T b’ - NB: ‛T’ is a type function, and may not be injective - The type variable ‛a0’ is ambiguous + Couldn't match expected type ‘T a0’ with actual type ‘T b’ + NB: ‘T’ is a type function, and may not be injective + The type variable ‘a0’ is ambiguous Relevant bindings include x :: T b (bound at T4099.hs:11:8) a :: b (bound at T4099.hs:11:6) bar1 :: b -> T b -> Int (bound at T4099.hs:11:1) - In the second argument of ‛foo’, namely ‛x’ + In the second argument of ‘foo’, namely ‘x’ In the expression: foo (error "urk") x T4099.hs:14:30: - Couldn't match expected type ‛T a1’ with actual type ‛Maybe b’ - The type variable ‛a1’ is ambiguous + Couldn't match expected type ‘T a1’ with actual type ‘Maybe b’ + The type variable ‘a1’ is ambiguous Relevant bindings include x :: Maybe b (bound at T4099.hs:14:8) a :: b (bound at T4099.hs:14:6) bar2 :: b -> Maybe b -> Int (bound at T4099.hs:14:1) - In the second argument of ‛foo’, namely ‛x’ + In the second argument of ‘foo’, namely ‘x’ In the expression: foo (error "urk") x diff --git a/testsuite/tests/indexed-types/should_fail/T4174.stderr b/testsuite/tests/indexed-types/should_fail/T4174.stderr index 5547b25979..19d3e8d3e0 100644 --- a/testsuite/tests/indexed-types/should_fail/T4174.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4174.stderr @@ -1,7 +1,7 @@ T4174.hs:42:12: - Couldn't match type ‛False’ with ‛True’ + Couldn't match type ‘False’ with ‘True’ Expected type: True Actual type: GHCVersion (WayOf m) :>=: GHC6'10 Minor1 In the expression: sync_large_objects - In an equation for ‛testcase’: testcase = sync_large_objects + In an equation for ‘testcase’: testcase = sync_large_objects diff --git a/testsuite/tests/indexed-types/should_fail/T4179.stderr b/testsuite/tests/indexed-types/should_fail/T4179.stderr index 4ab033d7eb..40fb84d83a 100644 --- a/testsuite/tests/indexed-types/should_fail/T4179.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4179.stderr @@ -7,7 +7,7 @@ T4179.hs:26:16: fCon :: (Functor x, DoC (FCon x)) => Con x -> A2 (FCon x) -> A3 (FCon x) at T4179.hs:25:9-72 - NB: ‛A3’ is a type function, and may not be injective + NB: ‘A3’ is a type function, and may not be injective Expected type: x (A2 (FCon x) -> A3 (FCon x)) -> A2 (FCon x) -> A3 (FCon x) Actual type: x (A2 (FCon x) -> A3 (FCon x)) @@ -16,5 +16,5 @@ T4179.hs:26:16: Relevant bindings include fCon :: Con x -> A2 (FCon x) -> A3 (FCon x) (bound at T4179.hs:26:1) - In the first argument of ‛foldDoC’, namely ‛op’ + In the first argument of ‘foldDoC’, namely ‘op’ In the expression: foldDoC op diff --git a/testsuite/tests/indexed-types/should_fail/T4272.stderr b/testsuite/tests/indexed-types/should_fail/T4272.stderr index 1214e8492d..7c98377ed7 100644 --- a/testsuite/tests/indexed-types/should_fail/T4272.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4272.stderr @@ -5,7 +5,7 @@ T4272.hs:15:26: bound by the type signature for laws :: TermLike a => TermFamily a a -> b at T4272.hs:14:9-53 - ‛a’ is a rigid type variable bound by + ‘a’ is a rigid type variable bound by the type signature for laws :: TermLike a => TermFamily a a -> b at T4272.hs:14:16 Expected type: TermFamily a (TermFamily a a) @@ -13,8 +13,8 @@ T4272.hs:15:26: Relevant bindings include t :: TermFamily a a (bound at T4272.hs:15:6) laws :: TermFamily a a -> b (bound at T4272.hs:15:1) - In the first argument of ‛terms’, namely - ‛(undefined :: TermFamily a a)’ - In the second argument of ‛prune’, namely - ‛(terms (undefined :: TermFamily a a))’ + In the first argument of ‘terms’, namely + ‘(undefined :: TermFamily a a)’ + In the second argument of ‘prune’, namely + ‘(terms (undefined :: TermFamily a a))’ In the expression: prune t (terms (undefined :: TermFamily a a)) diff --git a/testsuite/tests/indexed-types/should_fail/T4485.stderr b/testsuite/tests/indexed-types/should_fail/T4485.stderr index fca2fc88f7..b2bd626d20 100644 --- a/testsuite/tests/indexed-types/should_fail/T4485.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4485.stderr @@ -2,7 +2,7 @@ T4485.hs:47:15: Overlapping instances for EmbedAsChild (IdentityT IO) (XMLGenT m0 (XML m0)) - arising from a use of ‛asChild’ + arising from a use of ‘asChild’ Matching instances: instance [overlap ok] (EmbedAsChild m c, m1 ~ m) => EmbedAsChild m (XMLGenT m1 c) @@ -10,21 +10,21 @@ T4485.hs:47:15: instance [overlap ok] EmbedAsChild (IdentityT IO) (XMLGenT Identity ()) -- Defined at T4485.hs:42:10 - (The choice depends on the instantiation of ‛m0’ + (The choice depends on the instantiation of ‘m0’ To pick the first instance above, use IncoherentInstances when compiling the other instance declarations) In the expression: asChild In the expression: asChild $ (genElement "foo") - In an equation for ‛asChild’: + In an equation for ‘asChild’: asChild b = asChild $ (genElement "foo") T4485.hs:47:26: - No instance for (XMLGen m0) arising from a use of ‛genElement’ - The type variable ‛m0’ is ambiguous + No instance for (XMLGen m0) arising from a use of ‘genElement’ + The type variable ‘m0’ is ambiguous Note: there is a potential instance available: instance [overlap ok] XMLGen (IdentityT m) -- Defined at T4485.hs:36:10 - In the second argument of ‛($)’, namely ‛(genElement "foo")’ + In the second argument of ‘($)’, namely ‘(genElement "foo")’ In the expression: asChild $ (genElement "foo") - In an equation for ‛asChild’: + In an equation for ‘asChild’: asChild b = asChild $ (genElement "foo") diff --git a/testsuite/tests/indexed-types/should_fail/T5439.stderr b/testsuite/tests/indexed-types/should_fail/T5439.stderr index e6e34b19c5..d5f0318985 100644 --- a/testsuite/tests/indexed-types/should_fail/T5439.stderr +++ b/testsuite/tests/indexed-types/should_fail/T5439.stderr @@ -1,7 +1,7 @@ T5439.hs:83:28: - Couldn't match type ‛Attempt (HNth n0 l0) -> Attempt (HElemOf l0)’ - with ‛Attempt (WaitOpResult (WaitOps rs))’ + Couldn't match type ‘Attempt (HNth n0 l0) -> Attempt (HElemOf l0)’ + with ‘Attempt (WaitOpResult (WaitOps rs))’ Expected type: f (Attempt (HNth n0 l0) -> Attempt (HElemOf l0)) Actual type: f (Attempt (WaitOpResult (WaitOps rs))) Relevant bindings include @@ -13,13 +13,13 @@ T5439.hs:83:28: registerWaitOp :: WaitOps rs -> f (Attempt (WaitOpResult (WaitOps rs))) -> IO Bool (bound at T5439.hs:62:3) - In the first argument of ‛complete’, namely ‛ev’ + In the first argument of ‘complete’, namely ‘ev’ In the expression: complete ev T5439.hs:83:39: - Couldn't match expected type ‛Peano n0’ - with actual type ‛Attempt α0’ - In the second argument of ‛($)’, namely - ‛Failure (e :: SomeException)’ - In the second argument of ‛($)’, namely - ‛inj $ Failure (e :: SomeException)’ + Couldn't match expected type ‘Peano n0’ + with actual type ‘Attempt α0’ + In the second argument of ‘($)’, namely + ‘Failure (e :: SomeException)’ + In the second argument of ‘($)’, namely + ‘inj $ Failure (e :: SomeException)’ diff --git a/testsuite/tests/indexed-types/should_fail/T5515.stderr b/testsuite/tests/indexed-types/should_fail/T5515.stderr index f8056f0dd9..463a30b790 100644 --- a/testsuite/tests/indexed-types/should_fail/T5515.stderr +++ b/testsuite/tests/indexed-types/should_fail/T5515.stderr @@ -1,8 +1,8 @@ T5515.hs:9:3: - 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 T5515.hs:15:3: - 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/indexed-types/should_fail/T5934.stderr b/testsuite/tests/indexed-types/should_fail/T5934.stderr index df0ea6e86a..cf7bf8784e 100644 --- a/testsuite/tests/indexed-types/should_fail/T5934.stderr +++ b/testsuite/tests/indexed-types/should_fail/T5934.stderr @@ -1,7 +1,7 @@ T5934.hs:12:7: - Cannot instantiate unification variable ‛a0’ + Cannot instantiate unification variable ‘a0’ with a type involving foralls: (forall s. GenST s) -> Int Perhaps you want ImpredicativeTypes In the expression: 0 - In an equation for ‛run’: run = 0 + In an equation for ‘run’: run = 0 diff --git a/testsuite/tests/indexed-types/should_fail/T6123.stderr b/testsuite/tests/indexed-types/should_fail/T6123.stderr index 4fbdf9bf4b..5aec1761e9 100644 --- a/testsuite/tests/indexed-types/should_fail/T6123.stderr +++ b/testsuite/tests/indexed-types/should_fail/T6123.stderr @@ -1,7 +1,7 @@ T6123.hs:10:14: Occurs check: cannot construct the infinite type: a0 ~ Id a0 - The type variable ‛a0’ is ambiguous + The type variable ‘a0’ is ambiguous Relevant bindings include cundefined :: a0 (bound at T6123.hs:10:1) In the expression: cid undefined - In an equation for ‛cundefined’: cundefined = cid undefined + In an equation for ‘cundefined’: cundefined = cid undefined diff --git a/testsuite/tests/indexed-types/should_fail/T7010.stderr b/testsuite/tests/indexed-types/should_fail/T7010.stderr index d0c300c962..16891fb6b0 100644 --- a/testsuite/tests/indexed-types/should_fail/T7010.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7010.stderr @@ -1,7 +1,7 @@ T7010.hs:53:27: - Couldn't match type ‛Serial (IO Float)’ with ‛IO Float’ + Couldn't match type ‘Serial (IO Float)’ with ‘IO Float’ Expected type: (Float, ValueTuple Vector) Actual type: (Float, ValueTuple Float) - In the first argument of ‛withArgs’, namely ‛plug’ + In the first argument of ‘withArgs’, namely ‘plug’ In the expression: withArgs plug diff --git a/testsuite/tests/indexed-types/should_fail/T7194.stderr b/testsuite/tests/indexed-types/should_fail/T7194.stderr index 68c2429fe6..dece4fb9e7 100644 --- a/testsuite/tests/indexed-types/should_fail/T7194.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7194.stderr @@ -1,7 +1,7 @@ T7194.hs:18:35: - Couldn't match expected type ‛b0’ with actual type ‛F a’ - because type variable ‛a’ would escape its scope + Couldn't match expected type ‘b0’ with actual type ‘F a’ + because type variable ‘a’ would escape its scope This (rigid, skolem) type variable is bound by the type signature for g :: C (F a) => a -> Int at T7194.hs:17:23-41 @@ -10,4 +10,4 @@ T7194.hs:18:35: g :: a -> Int (bound at T7194.hs:18:18) x :: b0 (bound at T7194.hs:17:9) In the expression: foo y - In the first argument of ‛length’, namely ‛[x, foo y]’ + In the first argument of ‘length’, namely ‘[x, foo y]’ diff --git a/testsuite/tests/indexed-types/should_fail/T7354.stderr b/testsuite/tests/indexed-types/should_fail/T7354.stderr index c548f151ca..7c505f1876 100644 --- a/testsuite/tests/indexed-types/should_fail/T7354.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7354.stderr @@ -6,5 +6,5 @@ T7354.hs:28:11: Actual type: Prim [a] a -> a Relevant bindings include foo :: Prim [a] a -> t (bound at T7354.hs:28:1) - In the first argument of ‛ana’, namely ‛alg’ + In the first argument of ‘ana’, namely ‘alg’ In the expression: ana alg diff --git a/testsuite/tests/indexed-types/should_fail/T7354a.stderr b/testsuite/tests/indexed-types/should_fail/T7354a.stderr index dbad7967ea..ac7bc80cc8 100644 --- a/testsuite/tests/indexed-types/should_fail/T7354a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7354a.stderr @@ -1,6 +1,6 @@ T7354a.hs:5:13: - Couldn't match expected type ‛Base t t’ with actual type ‛()’ + Couldn't match expected type ‘Base t t’ with actual type ‘()’ Relevant bindings include foo :: t (bound at T7354a.hs:5:1) - In the first argument of ‛embed’, namely ‛()’ + In the first argument of ‘embed’, namely ‘()’ In the expression: embed () diff --git a/testsuite/tests/indexed-types/should_fail/T7536.stderr b/testsuite/tests/indexed-types/should_fail/T7536.stderr index 0c242a9029..9e7ed3010e 100644 --- a/testsuite/tests/indexed-types/should_fail/T7536.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7536.stderr @@ -1,5 +1,5 @@ T7536.hs:8:15: - Family instance purports to bind type variable ‛a’ + Family instance purports to bind type variable ‘a’ but the real LHS (expanding synonyms) is: TF Int = ... - In the type instance declaration for ‛TF’ + In the type instance declaration for ‘TF’ diff --git a/testsuite/tests/indexed-types/should_fail/T7729.stderr b/testsuite/tests/indexed-types/should_fail/T7729.stderr index 6b0d203a9b..bb5a900c4c 100644 --- a/testsuite/tests/indexed-types/should_fail/T7729.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7729.stderr @@ -6,11 +6,11 @@ T7729.hs:28:14: Monad (Rand m), MonadPrim m) bound by the instance declaration at T7729.hs:26:10-42 - The type variable ‛t0’ is ambiguous + The type variable ‘t0’ is ambiguous Expected type: t0 (BasePrimMonad (Rand m)) a -> Rand m a Actual type: BasePrimMonad (Rand m) a -> Rand m a Relevant bindings include liftPrim :: BasePrimMonad (Rand m) a -> Rand m a (bound at T7729.hs:28:3) - In the first argument of ‛(.)’, namely ‛liftPrim’ + In the first argument of ‘(.)’, namely ‘liftPrim’ In the expression: liftPrim . lift diff --git a/testsuite/tests/indexed-types/should_fail/T7729a.stderr b/testsuite/tests/indexed-types/should_fail/T7729a.stderr index c0019c8259..f90db0c491 100644 --- a/testsuite/tests/indexed-types/should_fail/T7729a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7729a.stderr @@ -6,12 +6,12 @@ T7729a.hs:28:26: Monad (Rand m), MonadPrim m) bound by the instance declaration at T7729a.hs:26:10-42 - The type variable ‛t0’ is ambiguous + The type variable ‘t0’ is ambiguous Expected type: BasePrimMonad (Rand m) a Actual type: t0 (BasePrimMonad (Rand m)) a Relevant bindings include x :: BasePrimMonad (Rand m) a (bound at T7729a.hs:28:12) liftPrim :: BasePrimMonad (Rand m) a -> Rand m a (bound at T7729a.hs:28:3) - In the first argument of ‛liftPrim’, namely ‛(lift x)’ + In the first argument of ‘liftPrim’, namely ‘(lift x)’ In the expression: liftPrim (lift x) diff --git a/testsuite/tests/indexed-types/should_fail/T7786.stderr b/testsuite/tests/indexed-types/should_fail/T7786.stderr index 8c1f64eac0..9652643802 100644 --- a/testsuite/tests/indexed-types/should_fail/T7786.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7786.stderr @@ -1,6 +1,6 @@ T7786.hs:86:22: - Couldn't match type ‛xxx’ with ‛'Empty’ + Couldn't match type ‘xxx’ with ‘'Empty’ Inaccessible code in a pattern with constructor Nil :: Sing 'Empty, diff --git a/testsuite/tests/indexed-types/should_fail/T7938.stderr b/testsuite/tests/indexed-types/should_fail/T7938.stderr index 3ac16f135d..a6aeb8af0b 100644 --- a/testsuite/tests/indexed-types/should_fail/T7938.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7938.stderr @@ -1,6 +1,6 @@ T7938.hs:12:16: - Expected kind ‛*’, but ‛KP’ has kind ‛KProxy k2’ - In the type ‛(KP :: KProxy k2)’ - In the type instance declaration for ‛Bar’ - In the instance declaration for ‛Foo (a :: k1) (b :: k2)’ + Expected kind ‘*’, but ‘KP’ has kind ‘KProxy k2’ + In the type ‘(KP :: KProxy k2)’ + In the type instance declaration for ‘Bar’ + In the instance declaration for ‘Foo (a :: k1) (b :: k2)’ diff --git a/testsuite/tests/indexed-types/should_fail/T7967.stderr b/testsuite/tests/indexed-types/should_fail/T7967.stderr index 620077601f..a7269451fe 100644 --- a/testsuite/tests/indexed-types/should_fail/T7967.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7967.stderr @@ -1,7 +1,7 @@ T7967.hs:31:26: - Couldn't match type ‛'[]’ with ‛h0 : t0’ + Couldn't match type ‘'[]’ with ‘h0 : t0’ Expected type: Index n l Actual type: Index 'Zero (h0 : t0) In the expression: IZero - In an equation for ‛sNatToIndex’: sNatToIndex SZero HNil = IZero + In an equation for ‘sNatToIndex’: sNatToIndex SZero HNil = IZero diff --git a/testsuite/tests/indexed-types/should_fail/T8155.stderr b/testsuite/tests/indexed-types/should_fail/T8155.stderr index c85b84b4c8..fb0ceb457b 100644 --- a/testsuite/tests/indexed-types/should_fail/T8155.stderr +++ b/testsuite/tests/indexed-types/should_fail/T8155.stderr @@ -1,9 +1,9 @@ T8155.hs:26:14: Could not deduce (Integral (BoundsOf (a -> a))) - arising from a use of ‛buildV’ + arising from a use of ‘buildV’ from the context (Num a) bound by the instance declaration at T8155.hs:25:10-32 In the expression: buildV - In an equation for ‛build'’: build' = buildV - In the instance declaration for ‛Build (a -> a)’ + In an equation for ‘build'’: build' = buildV + In the instance declaration for ‘Build (a -> a)’ diff --git a/testsuite/tests/indexed-types/should_fail/T8227.stderr b/testsuite/tests/indexed-types/should_fail/T8227.stderr index e32d0272f6..8d490d67ca 100644 --- a/testsuite/tests/indexed-types/should_fail/T8227.stderr +++ b/testsuite/tests/indexed-types/should_fail/T8227.stderr @@ -1,7 +1,7 @@ T8227.hs:16:27: - Couldn't match type ‛Scalar (V (Scalar (V a)))’ with ‛Scalar (V a)’ - NB: ‛Scalar’ is a type function, and may not be injective + Couldn't match type ‘Scalar (V (Scalar (V a)))’ with ‘Scalar (V a)’ + NB: ‘Scalar’ is a type function, and may not be injective Expected type: Scalar (V a) Actual type: Scalar (V (Scalar (V a))) -> Scalar (V (Scalar (V a))) @@ -11,5 +11,5 @@ T8227.hs:16:27: absoluteToParam :: Scalar (V a) -> a -> Scalar (V a) (bound at T8227.hs:16:1) In the expression: arcLengthToParam eps eps - In an equation for ‛absoluteToParam’: + In an equation for ‘absoluteToParam’: absoluteToParam eps seg = arcLengthToParam eps eps diff --git a/testsuite/tests/indexed-types/should_fail/T8368.stderr b/testsuite/tests/indexed-types/should_fail/T8368.stderr index 2ff63d7bb4..058dfb147c 100644 --- a/testsuite/tests/indexed-types/should_fail/T8368.stderr +++ b/testsuite/tests/indexed-types/should_fail/T8368.stderr @@ -1,6 +1,6 @@ T8368.hs:9:3: - Data constructor ‛MkFam’ returns type ‛Foo’ - instead of an instance of its parent type ‛Fam a’ - In the definition of data constructor ‛MkFam’ - In the data instance declaration for ‛Fam’ + Data constructor ‘MkFam’ returns type ‘Foo’ + instead of an instance of its parent type ‘Fam a’ + In the definition of data constructor ‘MkFam’ + In the data instance declaration for ‘Fam’ diff --git a/testsuite/tests/indexed-types/should_fail/T8368a.stderr b/testsuite/tests/indexed-types/should_fail/T8368a.stderr index 247a63305b..5b20206745 100644 --- a/testsuite/tests/indexed-types/should_fail/T8368a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T8368a.stderr @@ -1,6 +1,6 @@ T8368a.hs:7:3: - Data constructor ‛MkFam’ returns type ‛Fam Bool b’ - instead of an instance of its parent type ‛Fam Int b’ - In the definition of data constructor ‛MkFam’ - In the data instance declaration for ‛Fam’ + Data constructor ‘MkFam’ returns type ‘Fam Bool b’ + instead of an instance of its parent type ‘Fam Int b’ + In the definition of data constructor ‘MkFam’ + In the data instance declaration for ‘Fam’ diff --git a/testsuite/tests/indexed-types/should_fail/TyFamArity1.stderr b/testsuite/tests/indexed-types/should_fail/TyFamArity1.stderr index adfcc37a00..b99c8d9934 100644 --- a/testsuite/tests/indexed-types/should_fail/TyFamArity1.stderr +++ b/testsuite/tests/indexed-types/should_fail/TyFamArity1.stderr @@ -1,4 +1,4 @@ TyFamArity1.hs:4:15: Number of parameters must match family declaration; expected 2 - In the type instance declaration for ‛T’ + In the type instance declaration for ‘T’ diff --git a/testsuite/tests/indexed-types/should_fail/TyFamArity2.stderr b/testsuite/tests/indexed-types/should_fail/TyFamArity2.stderr index d602a2d5e0..28107aaed6 100644 --- a/testsuite/tests/indexed-types/should_fail/TyFamArity2.stderr +++ b/testsuite/tests/indexed-types/should_fail/TyFamArity2.stderr @@ -1,4 +1,4 @@ TyFamArity2.hs:4:15: Number of parameters must match family declaration; expected 1 - In the type instance declaration for ‛T’ + In the type instance declaration for ‘T’ diff --git a/testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr b/testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr index da77e08024..15cd757181 100644 --- a/testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr +++ b/testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr @@ -1,18 +1,18 @@ TyFamUndec.hs:6:15: - Variable ‛b’ occurs more often than in the instance head + Variable ‘b’ occurs more often than in the instance head in the type family application: T (b, b) (Use UndecidableInstances to permit this) - In the type instance declaration for ‛T’ + In the type instance declaration for ‘T’ TyFamUndec.hs:7:15: Application is no smaller than the instance head in the type family application: T (a, Maybe b) (Use UndecidableInstances to permit this) - In the type instance declaration for ‛T’ + In the type instance declaration for ‘T’ TyFamUndec.hs:8:15: Nested type family application in the type family application: T (a, T b) (Use UndecidableInstances to permit this) - In the type instance declaration for ‛T’ + In the type instance declaration for ‘T’ |