diff options
Diffstat (limited to 'testsuite/tests/indexed-types')
61 files changed, 539 insertions, 539 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/Class3.stderr b/testsuite/tests/indexed-types/should_compile/Class3.stderr index 4c72a425f0..6c07460745 100644 --- a/testsuite/tests/indexed-types/should_compile/Class3.stderr +++ b/testsuite/tests/indexed-types/should_compile/Class3.stderr @@ -1,4 +1,4 @@ -Class3.hs:7:10: - Warning: No explicit method or default declaration for `foo' - In the instance declaration for `C ()' +Class3.hs:7:10: Warning: + No explicit method or default declaration for ‛foo’ + In the instance declaration for ‛C ()’ diff --git a/testsuite/tests/indexed-types/should_compile/Simple14.stderr b/testsuite/tests/indexed-types/should_compile/Simple14.stderr index 1665ccae83..3c761c302d 100644 --- a/testsuite/tests/indexed-types/should_compile/Simple14.stderr +++ b/testsuite/tests/indexed-types/should_compile/Simple14.stderr @@ -1,18 +1,18 @@ Simple14.hs:17:19: - Couldn't match type `z0' with `n' - `z0' is untouchable + Couldn't match type ‛z0’ with ‛n’ + ‛z0’ is untouchable inside the constraints (Maybe m ~ Maybe n) bound by a type expected by the context: Maybe m ~ Maybe n => EQ_ z0 z0 at Simple14.hs:17:12-33 - `n' is a rigid type variable bound by + ‛n’ is a rigid type variable bound by the type signature for foo :: EQ_ (Maybe m) (Maybe n) at Simple14.hs:16:17 Expected type: EQ_ z0 z0 Actual type: EQ_ m n Relevant bindings include foo :: EQ_ (Maybe m) (Maybe n) (bound at Simple14.hs:17:1) - In the second argument of `eqE', namely `(eqI :: EQ_ m n)' - In the first argument of `ntI', namely `(`eqE` (eqI :: EQ_ m n))' + In the second argument of ‛eqE’, namely ‛(eqI :: EQ_ m n)’ + In the first argument of ‛ntI’, namely ‛(`eqE` (eqI :: EQ_ m n))’ In the expression: ntI (`eqE` (eqI :: EQ_ m n)) diff --git a/testsuite/tests/indexed-types/should_compile/Simple2.stderr b/testsuite/tests/indexed-types/should_compile/Simple2.stderr index ef05fb3e23..e68afd80da 100644 --- a/testsuite/tests/indexed-types/should_compile/Simple2.stderr +++ b/testsuite/tests/indexed-types/should_compile/Simple2.stderr @@ -1,40 +1,40 @@ -Simple2.hs:21:1: - Warning: No explicit associated type or default declaration for `S3n' - In the instance declaration for `C3 Char' +Simple2.hs:21:1: Warning: + No explicit associated type or default declaration for ‛S3n’ + In the instance declaration for ‛C3 Char’ -Simple2.hs:21:10: - Warning: No explicit method or default declaration for `foo3n' - In the instance declaration for `C3 Char' +Simple2.hs:21:10: Warning: + No explicit method or default declaration for ‛foo3n’ + In the instance declaration for ‛C3 Char’ -Simple2.hs:21:10: - Warning: No explicit method or default declaration for `bar3n' - In the instance declaration for `C3 Char' +Simple2.hs:21:10: Warning: + No explicit method or default declaration for ‛bar3n’ + In the instance declaration for ‛C3 Char’ -Simple2.hs:29:1: - Warning: No explicit associated type or default declaration for `S3n' - In the instance declaration for `C3 Bool' +Simple2.hs:29:1: Warning: + No explicit associated type or default declaration for ‛S3n’ + In the instance declaration for ‛C3 Bool’ -Simple2.hs:29:10: - Warning: No explicit method or default declaration for `foo3n' - In the instance declaration for `C3 Bool' +Simple2.hs:29:10: Warning: + No explicit method or default declaration for ‛foo3n’ + In the instance declaration for ‛C3 Bool’ -Simple2.hs:29:10: - Warning: No explicit method or default declaration for `bar3n' - In the instance declaration for `C3 Bool' +Simple2.hs:29:10: Warning: + No explicit method or default declaration for ‛bar3n’ + In the instance declaration for ‛C3 Bool’ -Simple2.hs:39:1: - Warning: No explicit associated type or default declaration for `S3' - In the instance declaration for `C3 Float' +Simple2.hs:39:1: Warning: + No explicit associated type or default declaration for ‛S3’ + In the instance declaration for ‛C3 Float’ -Simple2.hs:39:1: - Warning: No explicit associated type or default declaration for `S3n' - In the instance declaration for `C3 Float' +Simple2.hs:39:1: Warning: + No explicit associated type or default declaration for ‛S3n’ + In the instance declaration for ‛C3 Float’ -Simple2.hs:39:10: - Warning: No explicit method or default declaration for `foo3n' - In the instance declaration for `C3 Float' +Simple2.hs:39:10: Warning: + No explicit method or default declaration for ‛foo3n’ + In the instance declaration for ‛C3 Float’ -Simple2.hs:39:10: - Warning: No explicit method or default declaration for `bar3n' - In the instance declaration for `C3 Float' +Simple2.hs:39:10: Warning: + No explicit method or default declaration for ‛bar3n’ + In the instance declaration for ‛C3 Float’ diff --git a/testsuite/tests/indexed-types/should_fail/DerivUnsatFam.stderr b/testsuite/tests/indexed-types/should_fail/DerivUnsatFam.stderr index 63c1262147..dbcb4f03c8 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':
- Unsaturated data family application
- In the stand-alone deriving instance for `Functor T'
+ +DerivUnsatFam.hs:8:1: + Can't make a derived instance of ‛Functor T’: + Unsaturated data family application + 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 428d4b968d..4b7532c962 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 b61af24a62..aa6eedc88c 100644 --- a/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr +++ b/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr @@ -1,21 +1,21 @@ -
-GADTwrong1.hs:12:19:
- Could not deduce (a1 ~ b)
- from the context (() ~ Const a1)
- bound by a pattern with constructor
- 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
- 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
- the type signature for coerce :: a -> b at GADTwrong1.hs:10:20
- Relevant bindings include
- coerce :: a -> b (bound at GADTwrong1.hs:11:1)
- y :: a1 (bound at GADTwrong1.hs:12:14)
- In the expression: y
- In a case alternative: T y -> y
- In the expression: case T x :: T (Const b) of { T y -> y }
+ +GADTwrong1.hs:12:19: + Could not deduce (a1 ~ b) + from the context (() ~ Const a1) + bound by a pattern with constructor + 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 + 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 + the type signature for coerce :: a -> b at GADTwrong1.hs:10:20 + Relevant bindings include + coerce :: a -> b (bound at GADTwrong1.hs:11:1) + y :: a1 (bound at GADTwrong1.hs:12:14) + In the expression: y + In a case alternative: T y -> y + In the expression: case T x :: T (Const b) of { T y -> y } diff --git a/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr b/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr index 0176ffe2ec..7f43b5db4e 100644 --- a/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr +++ b/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr @@ -1,13 +1,13 @@ -
-NoMatchErr.hs:19:7:
- Could not deduce (Memo d0 ~ Memo d)
- 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
- 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
- In the type signature for `f': f :: Fun d => Memo d a -> Memo d a
+ +NoMatchErr.hs:19:7: + Could not deduce (Memo d0 ~ Memo d) + 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 + 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 + 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 d08570a06b..e56025a908 100644 --- a/testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr +++ b/testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr @@ -1,18 +1,18 @@ -
-NotRelaxedExamples.hs:9:15:
- Nested type family application
- in the type family application: F1 (F1 Char)
- (Use -XUndecidableInstances to permit this)
- 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 -XUndecidableInstances to permit this)
- 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 -XUndecidableInstances to permit this)
- In the type instance declaration for `F3'
+ +NotRelaxedExamples.hs:9:15: + Nested type family application + in the type family application: F1 (F1 Char) + (Use -XUndecidableInstances to permit this) + 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 -XUndecidableInstances to permit this) + 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 -XUndecidableInstances to permit this) + 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 63fa4d9c38..342cbe4bca 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:11:7:
- Couldn't match expected type `F a Bool' with actual type `Bool'
- Relevant bindings include
- g :: a -> F a Bool (bound at Overlap10.hs:11:1)
- x :: a (bound at Overlap10.hs:11:3)
- In the expression: False
- In an equation for `g': g x = False
+ +Overlap10.hs:11:7: + Couldn't match expected type ‛F a Bool’ with actual type ‛Bool’ + Relevant bindings include + g :: a -> F a Bool (bound at Overlap10.hs:11:1) + x :: a (bound at Overlap10.hs:11:3) + In the expression: 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 929ce34603..476ae6c2fb 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:11:8:
- Couldn't match expected type `F a Int' with actual type `Int'
- Relevant bindings include
- g :: a -> F a Int (bound at Overlap11.hs:11:1)
- x :: a (bound at Overlap11.hs:11:3)
- In the expression: (5 :: Int)
- In an equation for `g': g x = (5 :: Int)
+ +Overlap11.hs:11:8: + Couldn't match expected type ‛F a Int’ with actual type ‛Int’ + Relevant bindings include + g :: a -> F a Int (bound at Overlap11.hs:11:1) + x :: a (bound at Overlap11.hs:11:3) + In the expression: (5 :: Int) + In an equation for ‛g’: g x = (5 :: Int) diff --git a/testsuite/tests/indexed-types/should_fail/Overlap5.stderr b/testsuite/tests/indexed-types/should_fail/Overlap5.stderr index 329d410fdb..0413002ab5 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap5.stderr +++ b/testsuite/tests/indexed-types/should_fail/Overlap5.stderr @@ -1,7 +1,7 @@ Overlap5.hs:16: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 Bool x -> Proxy Bool (And x 'True) at Overlap5.hs:15:6 @@ -12,11 +12,11 @@ Overlap5.hs:16:7: (bound at Overlap5.hs:16:1) x :: Proxy Bool x (bound at Overlap5.hs:16:3) In the expression: x - In an equation for `g': g x = x + In an equation for ‛g’: g x = x Overlap5.hs:19:7: - Couldn't match type `x' with `And x x' - `x' is a rigid type variable bound by + Couldn't match type ‛x’ with ‛And x x’ + ‛x’ is a rigid type variable bound by the type signature for h :: Proxy Bool x -> Proxy Bool (And x x) at Overlap5.hs:18:6 Expected type: Proxy Bool (And x x) @@ -26,4 +26,4 @@ Overlap5.hs:19:7: (bound at Overlap5.hs:19:1) x :: Proxy Bool x (bound at Overlap5.hs:19:3) In the expression: x - In an equation for `h': h x = x + In an equation for ‛h’: h x = x diff --git a/testsuite/tests/indexed-types/should_fail/Overlap6.stderr b/testsuite/tests/indexed-types/should_fail/Overlap6.stderr index 8149e2d923..c59a1ab72d 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:16: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 Bool x -> Proxy Bool (And x 'True) at Overlap6.hs:15:6 @@ -12,4 +12,4 @@ Overlap6.hs:16:7: (bound at Overlap6.hs:16:1) x :: Proxy Bool x (bound at Overlap6.hs:16:3) 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/Overlap9.stderr b/testsuite/tests/indexed-types/should_fail/Overlap9.stderr index d70a76c8ef..97c59c2a87 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap9.stderr +++ b/testsuite/tests/indexed-types/should_fail/Overlap9.stderr @@ -7,6 +7,6 @@ Overlap9.hs:11:7: Relevant bindings include g :: a -> F a (bound at Overlap9.hs:11:1) x :: a (bound at Overlap9.hs:11:3) - In the return type of a call of `length' + In the return type of a call of ‛length’ 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 93eabd618a..e93b4f4d1e 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'
+ +SimpleFail12.hs:8:15: + Illegal polymorphic or qualified type: forall a. [a] + 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 a927fec6f5..a31dda6b8b 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'
-
-SimpleFail13.hs:13:15:
- Illegal type synonym family application in instance: [C a]
- In the type instance declaration for `E'
+ +SimpleFail13.hs:9:1: + Illegal type synonym family application in instance: [C a] + 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’ diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail14.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail14.stderr index 14f078d59a..b6015046f7 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'
+ +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’ diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr index e2b7bba314..d5c1c7fb54 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 -XRankNTypes or -XRank2Types - 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 3ad3cc7707..1e50ae1c3c 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
- Relevant bindings include
- bar :: p0 a0 (bound at SimpleFail16.hs:10:1)
- In the first argument of `foo', namely `(undefined :: F ())'
- In the expression: foo (undefined :: F ())
- In an equation for `bar': bar = foo (undefined :: F ())
+ +SimpleFail16.hs:10:12: + 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 expression: 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 ba950b41f1..7108a5ba73 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:
- Number of parameters must match family declaration; expected 2
- In the data instance declaration for `T1'
+ +SimpleFail1a.hs:4:1: + Number of parameters must match family declaration; expected 2 + 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 8becc3e8fc..a65a50d2c2 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 2
- In the data instance declaration for `T1'
+ +SimpleFail1b.hs:4:1: + Number of parameters must match family declaration; expected 2 + 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 c8ac4513dd..5d058756a3 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 164351a01f..cdf4251318 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'
+ +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’ diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail4.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail4.stderr index 1eca808bd9..b9d99df243 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 124eb7948e..8cadf52b49 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 bd28918f15..2861582d97 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 679aaf8722..71e9e56668 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 59d2413441..4778f0dcc3 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'
+ +SimpleFail7.hs:8:1: + 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 421bd53b25..ae25f9da56 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'
-
-SimpleFail8.hs:10:8:
- `S3' is not a (visible) associated type of class `C6'
+ +SimpleFail8.hs:9:8: + ‛Map’ is not a (visible) associated type of class ‛C6’ + +SimpleFail8.hs:10:8: + ‛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 32bb3cff9f..5bb6ef1650 100644 --- a/testsuite/tests/indexed-types/should_fail/T1897b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T1897b.stderr @@ -1,14 +1,14 @@ -
-T1897b.hs:16:1:
- Could not deduce (Depend a0 ~ Depend a)
- from the context (Bug a)
- 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
- 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'
- Probable cause: the inferred type is ambiguous
+ +T1897b.hs:16:1: + Could not deduce (Depend a0 ~ Depend a) + from the context (Bug a) + 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 + 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’ + 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 6d7eb62e30..08218a2caf 100644 --- a/testsuite/tests/indexed-types/should_fail/T1900.stderr +++ b/testsuite/tests/indexed-types/should_fail/T1900.stderr @@ -1,13 +1,13 @@ -
-T1900.hs:13:10:
- Could not deduce (Depend s0 ~ Depend s)
- 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
- Expected type: Depend s -> Bool
- Actual type: Depend s0 -> Bool
- In the ambiguity check for: forall s. Bug s => Depend s -> Bool
- In the type signature for `check':
- check :: Bug s => Depend s -> Bool
+ +T1900.hs:13:10: + Could not deduce (Depend s0 ~ Depend s) + 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 + Expected type: Depend s -> Bool + Actual type: Depend s0 -> Bool + In the ambiguity check for: forall s. Bug s => Depend s -> Bool + 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 44f0a2436f..0f6f272de9 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'
+ +T2157.hs:7:15: + 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 cd12f6a7be..67390f298f 100644 --- a/testsuite/tests/indexed-types/should_fail/T2203a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2203a.stderr @@ -1,5 +1,5 @@ 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))' + 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 5c0403c6f0..b322d9f06d 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'
- 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':
- 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'
- 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':
- complexTF
- = id ::
- (forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b)
+ +T2239.hs:47:13: + 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’: + 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’ + 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’: + 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 16ad7b047e..ff4e35206f 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 fae7cbf284..33e36a0aa5 100644 --- a/testsuite/tests/indexed-types/should_fail/T2544.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2544.stderr @@ -1,28 +1,28 @@ -
-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
- 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 expression: BiApp empty empty
- In an equation for `empty': empty = 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
- 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 expression: BiApp empty empty
- In an equation for `empty': empty = BiApp empty empty
+ +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 + 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 expression: BiApp empty empty + In an equation for ‛empty’: empty = 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 + 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 expression: BiApp empty empty + In an equation for ‛empty’: empty = BiApp empty empty diff --git a/testsuite/tests/indexed-types/should_fail/T2627b.stderr b/testsuite/tests/indexed-types/should_fail/T2627b.stderr index 871d455ea8..61399d02dd 100644 --- a/testsuite/tests/indexed-types/should_fail/T2627b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2627b.stderr @@ -1,8 +1,8 @@ -
-T2627b.hs:20:24:
- Occurs check: cannot construct the infinite type:
- a0 ~ Dual (Dual a0)
- The type variable `a0' is ambiguous
- In the expression: conn undefined undefined
- In an equation for `conn':
- conn (Rd k) (Wr a r) = conn undefined undefined
+ +T2627b.hs:20:24: + Occurs check: cannot construct the infinite type: + a0 ~ Dual (Dual a0) + The type variable ‛a0’ is ambiguous + In the expression: conn undefined undefined + 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 f3996d9146..4982410ca9 100644 --- a/testsuite/tests/indexed-types/should_fail/T2664.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2664.stderr @@ -1,23 +1,23 @@ -
-T2664.hs:31:52:
- Could not deduce (b ~ a)
- from the context (Connect a, Connect b)
- bound by the instance declaration at T2664.hs:22:10-52
- or from ((a :*: b) ~ Dual c, c ~ Dual (a :*: b))
- bound by the type signature for
- 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
- the instance declaration at T2664.hs:22:10
- `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
- newPChan :: IO (PChan (a :*: b), PChan c) (bound at T2664.hs:23:5)
- v :: MVar (Either (PChan a) (PChan b)) (bound at T2664.hs:24:9)
- 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)
+ +T2664.hs:31:52: + Could not deduce (b ~ a) + from the context (Connect a, Connect b) + bound by the instance declaration at T2664.hs:22:10-52 + or from ((a :*: b) ~ Dual c, c ~ Dual (a :*: b)) + bound by the type signature for + 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 + the instance declaration at T2664.hs:22:10 + ‛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 + newPChan :: IO (PChan (a :*: b), PChan c) (bound at T2664.hs:23:5) + v :: MVar (Either (PChan a) (PChan b)) (bound at T2664.hs:24:9) + 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 4427018fd0..8c02ea263d 100644 --- a/testsuite/tests/indexed-types/should_fail/T2693.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2693.stderr @@ -1,43 +1,43 @@ -
-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'
- 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':
- 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
- 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 expression: fst x + snd 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
- 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 expression: fst x + snd x
-
-T2693.hs:29:20:
- 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 a stmt of a 'do' block: pvs <- mapM g undefined
- In the expression:
- do { pvs <- mapM g undefined;
- let n = (map pvrX pvs) `min` (map pvrX pvs);
- undefined }
+ +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’ + 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’: + 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 + 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 expression: fst x + snd 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 + 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 expression: fst x + snd x + +T2693.hs:29:20: + 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 a stmt of a 'do' block: pvs <- mapM g undefined + In the expression: + do { pvs <- mapM g undefined; + let n = (map pvrX pvs) `min` (map pvrX pvs); + undefined } diff --git a/testsuite/tests/indexed-types/should_fail/T3092.stderr b/testsuite/tests/indexed-types/should_fail/T3092.stderr index f45e35580a..436db19f81 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'
- (T is not an indexed type family)
- In the data instance declaration for `T'
-
-T3092.hs:8:1:
- Illegal family instance for `S'
- (S is not an indexed type family)
- In the type instance declaration for `S'
+ +T3092.hs:5:1: + Illegal family instance for ‛T’ + (T is not an indexed type family) + In the data instance declaration for ‛T’ + +T3092.hs:8:1: + Illegal family instance for ‛S’ + (S is not an indexed type family) + 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 e44ab4d6f7..9c4fedfa45 100644 --- a/testsuite/tests/indexed-types/should_fail/T3330a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3330a.stderr @@ -1,8 +1,8 @@ T3330a.hs:19:34: - Couldn't match type `ix' - with `r ix1 -> Writer [AnyF ((->) (s0 ix0 -> ix1))] (r'0 ix1)' - `ix' is a rigid type variable bound by + Couldn't match type ‛ix’ + with ‛r ix1 -> Writer [AnyF ((->) (s0 ix0 -> ix1))] (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) @@ -12,13 +12,13 @@ T3330a.hs:19:34: children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) p :: s ix (bound at T3330a.hs:19:10) x :: PF s r ix (bound at T3330a.hs:19:12) - 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)’ In the expression: execWriter (hmapM p collect x) 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) @@ -28,13 +28,13 @@ T3330a.hs:19:34: children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) p :: s ix (bound at T3330a.hs:19:10) x :: PF s r ix (bound at T3330a.hs:19:12) - 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)’ In the expression: execWriter (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)) @@ -43,6 +43,6 @@ T3330a.hs:19:44: children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1) p :: s ix (bound at T3330a.hs:19:10) x :: PF s r ix (bound at T3330a.hs:19:12) - 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)’ In the expression: execWriter (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 8c657c8116..52d6afe3e7 100644 --- a/testsuite/tests/indexed-types/should_fail/T3330c.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3330c.stderr @@ -1,11 +1,11 @@ T3330c.hs:23:43: - Couldn't match kind `*' with `* -> *' + Couldn't match kind ‛*’ with ‛* -> *’ When matching types Der ((->) x) :: * -> * R :: (* -> *) -> * Expected type: Der ((->) x) (f1 x) Actual type: R f1 - 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)’ In the expression: Inl (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 b9f49fa0b9..af8b90fd74 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 @@ -20,4 +20,4 @@ T3440.hs:11:22: y :: Fam a1 (bound at T3440.hs:11:16) In the expression: x In the expression: (x, y) - In an equation for `unwrap': unwrap (GADT x y) = (x, y) + In an equation for ‛unwrap’: unwrap (GADT x y) = (x, y) diff --git a/testsuite/tests/indexed-types/should_fail/T4093a.stderr b/testsuite/tests/indexed-types/should_fail/T4093a.stderr index 5a5ce0826d..83578248ae 100644 --- a/testsuite/tests/indexed-types/should_fail/T4093a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4093a.stderr @@ -4,12 +4,12 @@ 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 return type of a call of `Just' + In the return type of a call of ‛Just’ 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 67f9b7d924..b80cf634a8 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: -> EitherCO e (A C O n) (A O O n) -> EitherCO e (A C O n) (A O O n) (bound at T4093b.hs:31:5) 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 60e379525a..312b0b6443 100644 --- a/testsuite/tests/indexed-types/should_fail/T4099.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4099.stderr @@ -1,23 +1,23 @@ -
-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
- Relevant bindings include
- bar1 :: b -> T b -> Int (bound at T4099.hs:11:1)
- a :: b (bound at T4099.hs:11:6)
- x :: T b (bound at T4099.hs:11:8)
- In the second argument of `foo', namely `x'
- In the expression: foo (error "urk") x
- In an equation for `bar1': bar1 a x = 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
- Relevant bindings include
- bar2 :: b -> Maybe b -> Int (bound at T4099.hs:14:1)
- a :: b (bound at T4099.hs:14:6)
- x :: Maybe b (bound at T4099.hs:14:8)
- In the second argument of `foo', namely `x'
- In the expression: foo (error "urk") x
- In an equation for `bar2': bar2 a x = foo (error "urk") x
+ +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 + Relevant bindings include + bar1 :: b -> T b -> Int (bound at T4099.hs:11:1) + a :: b (bound at T4099.hs:11:6) + x :: T b (bound at T4099.hs:11:8) + In the second argument of ‛foo’, namely ‛x’ + In the expression: foo (error "urk") x + In an equation for ‛bar1’: bar1 a x = 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 + Relevant bindings include + bar2 :: b -> Maybe b -> Int (bound at T4099.hs:14:1) + a :: b (bound at T4099.hs:14:6) + x :: Maybe b (bound at T4099.hs:14:8) + In the second argument of ‛foo’, namely ‛x’ + In the expression: foo (error "urk") x + In an equation for ‛bar2’: bar2 a x = 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 81fb603dd8..5547b25979 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 7236a50c88..8f5ded1ffe 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,6 +16,6 @@ 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 - In an equation for `fCon': fCon = foldDoC op + In an equation for ‛fCon’: fCon = foldDoC op diff --git a/testsuite/tests/indexed-types/should_fail/T4272.stderr b/testsuite/tests/indexed-types/should_fail/T4272.stderr index a4e952556b..f3dcdbc13d 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 laws :: TermFamily a a -> b (bound at T4272.hs:15:1) t :: TermFamily a a (bound at T4272.hs:15:6) - 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 3588869520..bd408824bf 100644 --- a/testsuite/tests/indexed-types/should_fail/T4485.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4485.stderr @@ -1,30 +1,30 @@ -
-T4485.hs:47:15:
- Overlapping instances for EmbedAsChild
- (IdentityT IO) (XMLGenT m0 (XML m0))
- arising from a use of `asChild'
- Matching instances:
- instance [overlap ok] (EmbedAsChild m c, m1 ~ m) =>
- EmbedAsChild m (XMLGenT m1 c)
- -- Defined at T4485.hs:29:10
- instance [overlap ok] EmbedAsChild
- (IdentityT IO) (XMLGenT Identity ())
- -- Defined at T4485.hs:42:10
- (The choice depends on the instantiation of `m0'
- To pick the first instance above, use -XIncoherentInstances
- when compiling the other instance declarations)
- In the expression: asChild
- In the expression: asChild $ (genElement "foo")
- 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
- 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 expression: asChild $ (genElement "foo")
- In an equation for `asChild':
- asChild b = asChild $ (genElement "foo")
+ +T4485.hs:47:15: + Overlapping instances for EmbedAsChild + (IdentityT IO) (XMLGenT m0 (XML m0)) + arising from a use of ‛asChild’ + Matching instances: + instance [overlap ok] (EmbedAsChild m c, m1 ~ m) => + EmbedAsChild m (XMLGenT m1 c) + -- Defined at T4485.hs:29:10 + instance [overlap ok] EmbedAsChild + (IdentityT IO) (XMLGenT Identity ()) + -- Defined at T4485.hs:42:10 + (The choice depends on the instantiation of ‛m0’ + To pick the first instance above, use -XIncoherentInstances + when compiling the other instance declarations) + In the expression: asChild + In the expression: asChild $ (genElement "foo") + 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 + 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 expression: asChild $ (genElement "foo") + 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 7115f3026d..4f8340481f 100644 --- a/testsuite/tests/indexed-types/should_fail/T5439.stderr +++ b/testsuite/tests/indexed-types/should_fail/T5439.stderr @@ -1,28 +1,28 @@ -
-T5439.hs:83:28:
- Couldn't match type `Attempt t0 -> Attempt (HElemOf l0)'
- with `Attempt (HElemOf rs)'
- Expected type: f (Attempt (HNth n0 l0) -> Attempt (HElemOf l0))
- Actual type: f (Attempt (WaitOpResult (WaitOps rs)))
- Relevant bindings include
- registerWaitOp :: WaitOps rs
- -> f (Attempt (WaitOpResult (WaitOps rs))) -> IO Bool
- (bound at T5439.hs:62:3)
- ops :: WaitOps rs (bound at T5439.hs:62:18)
- ev :: f (Attempt (WaitOpResult (WaitOps rs)))
- (bound at T5439.hs:62:22)
- register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool
- (bound at T5439.hs:65:9)
- In the first argument of `complete', namely `ev'
- In the expression: complete ev
- In a stmt of a 'do' block:
- c <- complete ev $ inj $ Failure (e :: SomeException)
-
-T5439.hs:83:39:
- Couldn't match expected type `Peano n0'
- with actual type `Attempt α0'
- In the return type of a call of `Failure'
- In the second argument of `($)', namely
- `Failure (e :: SomeException)'
- In the second argument of `($)', namely
- `inj $ Failure (e :: SomeException)'
+ +T5439.hs:83:28: + Couldn't match type ‛Attempt t0 -> Attempt (HElemOf l0)’ + with ‛Attempt (HElemOf rs)’ + Expected type: f (Attempt (HNth n0 l0) -> Attempt (HElemOf l0)) + Actual type: f (Attempt (WaitOpResult (WaitOps rs))) + Relevant bindings include + registerWaitOp :: WaitOps rs + -> f (Attempt (WaitOpResult (WaitOps rs))) -> IO Bool + (bound at T5439.hs:62:3) + ops :: WaitOps rs (bound at T5439.hs:62:18) + ev :: f (Attempt (WaitOpResult (WaitOps rs))) + (bound at T5439.hs:62:22) + register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool + (bound at T5439.hs:65:9) + In the first argument of ‛complete’, namely ‛ev’ + In the expression: complete ev + In a stmt of a 'do' block: + c <- complete ev $ inj $ Failure (e :: SomeException) + +T5439.hs:83:39: + Couldn't match expected type ‛Peano n0’ + with actual type ‛Attempt α0’ + In the return type of a call of ‛Failure’ + 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 535048d88b..c3d6b9f664 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:8: - 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:8: - 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 8925899346..d036467603 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'
- with a type involving foralls: (forall s. GenST s) -> Int
- Perhaps you want -XImpredicativeTypes
- In the expression: 0
- In an equation for `run': run = 0
+ +T5934.hs:12:7: + Cannot instantiate unification variable ‛a0’ + with a type involving foralls: (forall s. GenST s) -> Int + Perhaps you want -XImpredicativeTypes + In the expression: 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 cf8eedda06..4fbdf9bf4b 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
- Relevant bindings include cundefined :: a0 (bound at T6123.hs:10:1)
- In the expression: cid undefined
- In an equation for `cundefined': cundefined = cid undefined
+ +T6123.hs:10:14: + Occurs check: cannot construct the infinite type: a0 ~ Id a0 + 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 diff --git a/testsuite/tests/indexed-types/should_fail/T7010.stderr b/testsuite/tests/indexed-types/should_fail/T7010.stderr index 3d059736f1..50c4bd0fd0 100644 --- a/testsuite/tests/indexed-types/should_fail/T7010.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7010.stderr @@ -1,8 +1,8 @@ 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 - In an equation for `filterFormants': filterFormants = withArgs plug + In an equation for ‛filterFormants’: filterFormants = withArgs plug diff --git a/testsuite/tests/indexed-types/should_fail/T7194.stderr b/testsuite/tests/indexed-types/should_fail/T7194.stderr index 385765df6f..a575dde330 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 @@ -9,6 +9,6 @@ T7194.hs:18:35: x :: b0 (bound at T7194.hs:17:9) g :: a -> Int (bound at T7194.hs:18:18) y :: a (bound at T7194.hs:18:20) - In the return type of a call of `foo' + In the return type of a call of ‛foo’ 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 d5c0f1ce56..1fb91e4dad 100644 --- a/testsuite/tests/indexed-types/should_fail/T7354.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7354.stderr @@ -6,6 +6,6 @@ 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 - In an equation for `foo': foo = ana alg + In an equation for ‛foo’: foo = ana alg diff --git a/testsuite/tests/indexed-types/should_fail/T7354a.stderr b/testsuite/tests/indexed-types/should_fail/T7354a.stderr index 1b66b87970..d05b0f9b68 100644 --- a/testsuite/tests/indexed-types/should_fail/T7354a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7354a.stderr @@ -1,7 +1,7 @@ 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 () - In an equation for `foo': foo = embed () + In an equation for ‛foo’: foo = embed () diff --git a/testsuite/tests/indexed-types/should_fail/T7536.stderr b/testsuite/tests/indexed-types/should_fail/T7536.stderr index faea85e91e..0c242a9029 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/TyFamArity1.stderr b/testsuite/tests/indexed-types/should_fail/TyFamArity1.stderr index b0076287f6..adfcc37a00 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'
+ +TyFamArity1.hs:4:15: + Number of parameters must match family declaration; expected 2 + 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 ad71adc7d3..d602a2d5e0 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'
+ +TyFamArity2.hs:4:15: + Number of parameters must match family declaration; expected 1 + 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 6bb2af771c..fef47b534a 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
- in the type family application: T (b, b)
- (Use -XUndecidableInstances to permit this)
- 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 -XUndecidableInstances to permit this)
- 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 -XUndecidableInstances to permit this)
- In the type instance declaration for `T'
+ +TyFamUndec.hs:6:15: + Variable ‛b’ occurs more often than in the instance head + in the type family application: T (b, b) + (Use -XUndecidableInstances to permit this) + 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 -XUndecidableInstances to permit this) + 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 -XUndecidableInstances to permit this) + In the type instance declaration for ‛T’ |