diff options
Diffstat (limited to 'testsuite/tests')
36 files changed, 67 insertions, 65 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail24.stderr b/testsuite/tests/backpack/should_fail/bkpfail24.stderr index ef6a7d6c01..484ebf144b 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail24.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail24.stderr @@ -7,15 +7,15 @@ bkpfail24.bkp:14:15: error: • Could not deduce: a ~ b from the context: {H1.T} ~ {H2.T} bound by the type signature for: - f :: forall a b. {H1.T} ~ {H2.T} => a -> b + f :: forall a b. ({H1.T} ~ {H2.T}) => a -> b at bkpfail24.bkp:13:9-34 ‘a’ is a rigid type variable bound by the type signature for: - f :: forall a b. {H1.T} ~ {H2.T} => a -> b + f :: forall a b. ({H1.T} ~ {H2.T}) => a -> b at bkpfail24.bkp:13:9-34 ‘b’ is a rigid type variable bound by the type signature for: - f :: forall a b. {H1.T} ~ {H2.T} => a -> b + f :: forall a b. ({H1.T} ~ {H2.T}) => a -> b at bkpfail24.bkp:13:9-34 • In the expression: x In an equation for ‘f’: f x = x diff --git a/testsuite/tests/gadt/T7558.stderr b/testsuite/tests/gadt/T7558.stderr index 568f64fcee..f3d74362a5 100644 --- a/testsuite/tests/gadt/T7558.stderr +++ b/testsuite/tests/gadt/T7558.stderr @@ -3,7 +3,7 @@ T7558.hs:8:4: error: • Occurs check: cannot construct the infinite type: a ~ Maybe a Inaccessible code in a pattern with constructor: - MkT :: forall a b. a ~ Maybe b => a -> Maybe b -> T a b, + MkT :: forall a b. (a ~ Maybe b) => a -> Maybe b -> T a b, in an equation for ‘f’ • In the pattern: MkT x y In an equation for ‘f’: f (MkT x y) = [x, y] `seq` True diff --git a/testsuite/tests/generics/T10604/T10604_deriving.stderr b/testsuite/tests/generics/T10604/T10604_deriving.stderr index 59be21fd45..20417e37a5 100644 --- a/testsuite/tests/generics/T10604/T10604_deriving.stderr +++ b/testsuite/tests/generics/T10604/T10604_deriving.stderr @@ -521,6 +521,6 @@ Derived type family instances: ==================== Filling in method body ==================== GHC.Base.Functor [T10604_deriving.Proxy *] - GHC.Base.<$ = GHC.Base.$dm<$ @T10604_deriving.Proxy * + GHC.Base.<$ = GHC.Base.$dm<$ @(T10604_deriving.Proxy *) diff --git a/testsuite/tests/ghci/scripts/T12024.stdout b/testsuite/tests/ghci/scripts/T12024.stdout index e01f43a511..818d9fe5ee 100644 --- a/testsuite/tests/ghci/scripts/T12024.stdout +++ b/testsuite/tests/ghci/scripts/T12024.stdout @@ -1 +1,2 @@ -pattern X' :: () => a ~ [x] => A a -- Defined at <interactive>:4:1 +pattern X' :: () => (a ~ [x]) => A a + -- Defined at <interactive>:4:1 diff --git a/testsuite/tests/haddock/haddock_examples/haddock.Test.stderr b/testsuite/tests/haddock/haddock_examples/haddock.Test.stderr index 8f06390348..49618904a2 100644 --- a/testsuite/tests/haddock/haddock_examples/haddock.Test.stderr +++ b/testsuite/tests/haddock/haddock_examples/haddock.Test.stderr @@ -151,26 +151,26 @@ data Ex a Ex4 (forall a. a -> a) <document comment> k :: - T () () This argument has type 'T' - -> (T2 Int Int) This argument has type 'T2 Int Int' - -> (T3 Bool Bool - -> T4 Float Float) This argument has type @T3 Bool Bool -> T4 Float Float@ - -> T5 () () This argument has a very long description that should + (T () () This argument has type 'T') + -> ((T2 Int Int) This argument has type 'T2 Int Int') + -> ((T3 Bool Bool + -> T4 Float Float) This argument has type @T3 Bool Bool -> T4 Float Float@) + -> (T5 () () This argument has a very long description that should hopefully cause some wrapping to happen when it is finally - rendered by Haddock in the generated HTML page. + rendered by Haddock in the generated HTML page.) -> IO () This is the result type -l :: (Int, Int, Float) takes a triple -> Int returns an 'Int' +l :: ((Int, Int, Float) takes a triple) -> Int returns an 'Int' <document comment> m :: - R -> N1 () one of the arguments -> IO Int and the return value + R -> (N1 () one of the arguments) -> IO Int and the return value <document comment> newn :: - R one of the arguments, an 'R' - -> N1 () one of the arguments -> IO Int + (R one of the arguments, an 'R') + -> (N1 () one of the arguments) -> IO Int newn = undefined <document comment> foreign import ccall unsafe "header.h" o - :: Float The input float -> IO Float The output float + :: (Float The input float) -> IO Float The output float <document comment> newp :: Int newp = undefined diff --git a/testsuite/tests/haddock/should_compile_flag_haddock/haddockA023.stderr b/testsuite/tests/haddock/should_compile_flag_haddock/haddockA023.stderr index 63c2b2f74b..c0233de0d5 100644 --- a/testsuite/tests/haddock/should_compile_flag_haddock/haddockA023.stderr +++ b/testsuite/tests/haddock/should_compile_flag_haddock/haddockA023.stderr @@ -1,7 +1,7 @@ ==================== Parser ==================== module ShouldCompile where -test :: (Eq a) => [a] doc1 -> [a] doc2 -> [a] doc3 +test :: (Eq a) => ([a] doc1) -> ([a] doc2 ) -> [a] doc3 test xs ys = xs diff --git a/testsuite/tests/haddock/should_compile_flag_haddock/haddockA024.stderr b/testsuite/tests/haddock/should_compile_flag_haddock/haddockA024.stderr index b3caa71b9e..f1db2374b1 100644 --- a/testsuite/tests/haddock/should_compile_flag_haddock/haddockA024.stderr +++ b/testsuite/tests/haddock/should_compile_flag_haddock/haddockA024.stderr @@ -1,7 +1,7 @@ ==================== Parser ==================== module ShouldCompile where -test2 :: a doc1 -> b doc2 -> a doc 3 +test2 :: (a doc1 ) -> (b doc2 ) -> a doc 3 test2 x y = x diff --git a/testsuite/tests/haddock/should_compile_flag_haddock/haddockA025.stderr b/testsuite/tests/haddock/should_compile_flag_haddock/haddockA025.stderr index 472ec1a1eb..4b208f858a 100644 --- a/testsuite/tests/haddock/should_compile_flag_haddock/haddockA025.stderr +++ b/testsuite/tests/haddock/should_compile_flag_haddock/haddockA025.stderr @@ -1,7 +1,7 @@ ==================== Parser ==================== module ShouldCompile where -test2 :: a doc1 -> a +test2 :: (a doc1 ) -> a test2 x = x diff --git a/testsuite/tests/haddock/should_compile_flag_haddock/haddockA026.stderr b/testsuite/tests/haddock/should_compile_flag_haddock/haddockA026.stderr index 769da3f0d3..fcf9e0c2d6 100644 --- a/testsuite/tests/haddock/should_compile_flag_haddock/haddockA026.stderr +++ b/testsuite/tests/haddock/should_compile_flag_haddock/haddockA026.stderr @@ -1,7 +1,8 @@ ==================== Parser ==================== module ShouldCompile where -test :: (Eq a) => [a] doc1 -> forall b. [b] doc2 -> [a] doc3 +test :: + (Eq a) => ([a] doc1) -> forall b. ([b] doc2 ) -> [a] doc3 test xs ys = xs diff --git a/testsuite/tests/haddock/should_compile_flag_haddock/haddockA027.stderr b/testsuite/tests/haddock/should_compile_flag_haddock/haddockA027.stderr index e7707c5ec0..cd8884080f 100644 --- a/testsuite/tests/haddock/should_compile_flag_haddock/haddockA027.stderr +++ b/testsuite/tests/haddock/should_compile_flag_haddock/haddockA027.stderr @@ -2,9 +2,9 @@ ==================== Parser ==================== module ShouldCompile where test :: - [a] doc1 + ([a] doc1) -> forall b. - (Ord b) => [b] doc2 -> forall c. (Num c) => [c] doc3 -> [a] + (Ord b) => ([b] doc2 ) -> forall c. (Num c) => ([c] doc3) -> [a] test xs ys zs = xs diff --git a/testsuite/tests/haddock/should_compile_flag_haddock/haddockA028.stderr b/testsuite/tests/haddock/should_compile_flag_haddock/haddockA028.stderr index 47d2468ea5..9e1edc661b 100644 --- a/testsuite/tests/haddock/should_compile_flag_haddock/haddockA028.stderr +++ b/testsuite/tests/haddock/should_compile_flag_haddock/haddockA028.stderr @@ -2,7 +2,7 @@ ==================== Parser ==================== module ShouldCompile where data a <--> b = Mk a b -test :: [a] doc1 -> a <--> b -> [a] blabla +test :: ([a] doc1 ) -> a <--> b -> [a] blabla test xs ys = xs diff --git a/testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr b/testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr index 32e0138fe6..fa19be483c 100644 --- a/testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr +++ b/testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr @@ -4,7 +4,7 @@ PushedInAsGivens.hs:10:31: error: because type variable ‘a1’ would escape its scope This (rigid, skolem) type variable is bound by the type signature for: - foo :: forall a1. F Int ~ [a1] => a1 -> Int + foo :: forall a1. (F Int ~ [a1]) => a1 -> Int at PushedInAsGivens.hs:9:13-44 • In the expression: y In the first argument of ‘length’, namely ‘[x, y]’ diff --git a/testsuite/tests/indexed-types/should_compile/Simple14.stderr b/testsuite/tests/indexed-types/should_compile/Simple14.stderr index 7e08b2f11f..0c600e378f 100644 --- a/testsuite/tests/indexed-types/should_compile/Simple14.stderr +++ b/testsuite/tests/indexed-types/should_compile/Simple14.stderr @@ -4,14 +4,14 @@ Simple14.hs:8:8: error: ‘z0’ is untouchable inside the constraints: x ~ y bound by the type signature for: - eqE :: x ~ y => EQ_ z0 z0 + eqE :: (x ~ y) => EQ_ z0 z0 at Simple14.hs:8:8-39 ‘z’ is a rigid type variable bound by the type signature for: - eqE :: forall x y z p. EQ_ x y -> (x ~ y => EQ_ z z) -> p + eqE :: forall x y z p. EQ_ x y -> ((x ~ y) => EQ_ z z) -> p at Simple14.hs:8:8-39 Expected type: EQ_ z0 z0 Actual type: EQ_ z z • In the ambiguity check for ‘eqE’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - In the type signature: eqE :: EQ_ x y -> (x ~ y => EQ_ z z) -> p + In the type signature: eqE :: EQ_ x y -> ((x ~ y) => EQ_ z z) -> p diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr index 48d897dea0..fd0b98799a 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr @@ -1,6 +1,5 @@ SimpleFail15.hs:5:8: error: - • Illegal qualified type: a ~ b => t + • Illegal qualified type: (a ~ b) => t Perhaps you intended to use RankNTypes or Rank2Types - • In the type signature: - foo :: (a, b) -> (a ~ b => t) -> (a, b) + • In the type signature: foo :: (a, b) -> ((a ~ b) => t) -> (a, b) diff --git a/testsuite/tests/indexed-types/should_fail/T4093a.stderr b/testsuite/tests/indexed-types/should_fail/T4093a.stderr index 7b2d92f8ed..826fe1934a 100644 --- a/testsuite/tests/indexed-types/should_fail/T4093a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4093a.stderr @@ -3,11 +3,11 @@ T4093a.hs:8:8: error: • Could not deduce: e ~ () from the context: Foo e ~ Maybe e bound by the type signature for: - hang :: forall e. Foo e ~ Maybe e => Foo e + hang :: forall e. (Foo e ~ Maybe e) => Foo e at T4093a.hs:7:1-34 ‘e’ is a rigid type variable bound by the type signature for: - hang :: forall e. Foo e ~ Maybe e => Foo e + hang :: forall e. (Foo e ~ Maybe e) => Foo e at T4093a.hs:7:1-34 Expected type: Foo e Actual type: Maybe () diff --git a/testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr b/testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr index 7a76170f17..4c946a70bb 100644 --- a/testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr +++ b/testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr @@ -3,11 +3,11 @@ TYPE SIGNATURES DataFamilyInstanceLHS.B :: MyKind DataFamilyInstanceLHS.SingA :: forall (_ :: MyKind). - _ ~ 'A => + (_ ~ 'A) => DataFamilyInstanceLHS.R:SingMyKind_ _ DataFamilyInstanceLHS.SingB :: forall (_ :: MyKind). - _ ~ 'B => + (_ ~ 'B) => DataFamilyInstanceLHS.R:SingMyKind_ _ foo :: Sing 'A TYPE CONSTRUCTORS diff --git a/testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr b/testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr index 3ba61f598e..17e9d5a3ff 100644 --- a/testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr +++ b/testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr @@ -1,5 +1,5 @@ TYPE SIGNATURES - foo :: forall a. a ~ Bool => (a, Bool) + foo :: forall a. (a ~ Bool) => (a, Bool) TYPE CONSTRUCTORS COERCION AXIOMS Dependent modules: [] diff --git a/testsuite/tests/partial-sigs/should_compile/NamedWildcardInDataFamilyInstanceLHS.stderr b/testsuite/tests/partial-sigs/should_compile/NamedWildcardInDataFamilyInstanceLHS.stderr index 8b8bebe55f..2990f7eb5e 100644 --- a/testsuite/tests/partial-sigs/should_compile/NamedWildcardInDataFamilyInstanceLHS.stderr +++ b/testsuite/tests/partial-sigs/should_compile/NamedWildcardInDataFamilyInstanceLHS.stderr @@ -3,11 +3,11 @@ TYPE SIGNATURES NamedWildcardInDataFamilyInstanceLHS.B :: MyKind NamedWildcardInDataFamilyInstanceLHS.SingA :: forall (_a :: MyKind). - _a ~ 'A => + (_a ~ 'A) => NamedWildcardInDataFamilyInstanceLHS.R:SingMyKind_a _a NamedWildcardInDataFamilyInstanceLHS.SingB :: forall (_a :: MyKind). - _a ~ 'B => + (_a ~ 'B) => NamedWildcardInDataFamilyInstanceLHS.R:SingMyKind_a _a TYPE CONSTRUCTORS data MyKind = A | B diff --git a/testsuite/tests/polykinds/T10503.stderr b/testsuite/tests/polykinds/T10503.stderr index ac8972dec6..b0f17adaad 100644 --- a/testsuite/tests/polykinds/T10503.stderr +++ b/testsuite/tests/polykinds/T10503.stderr @@ -3,15 +3,16 @@ T10503.hs:8:6: error: • Could not deduce: k ~ * from the context: Proxy 'KProxy ~ Proxy 'KProxy bound by the type signature for: - h :: Proxy 'KProxy ~ Proxy 'KProxy => r + h :: (Proxy 'KProxy ~ Proxy 'KProxy) => r at T10503.hs:8:6-85 ‘k’ is a rigid type variable bound by the type signature for: - h :: forall k r. (Proxy 'KProxy ~ Proxy 'KProxy => r) -> r + h :: forall k r. ((Proxy 'KProxy ~ Proxy 'KProxy) => r) -> r at T10503.hs:8:6-85 • In the ambiguity check for ‘h’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes In the type signature: h :: forall r. - (Proxy ( 'KProxy :: KProxy k) ~ Proxy ( 'KProxy :: KProxy *) => r) + ((Proxy ( 'KProxy :: KProxy k) ~ Proxy ( 'KProxy :: KProxy *)) => + r) -> r diff --git a/testsuite/tests/polykinds/T7230.stderr b/testsuite/tests/polykinds/T7230.stderr index f0a29bb2d6..48781e8f7f 100644 --- a/testsuite/tests/polykinds/T7230.stderr +++ b/testsuite/tests/polykinds/T7230.stderr @@ -4,7 +4,7 @@ T7230.hs:48:32: error: from the context: Increasing xs ~ 'True bound by the type signature for: crash :: forall (xs :: [Nat]). - Increasing xs ~ 'True => + (Increasing xs ~ 'True) => SList xs -> SBool (Increasing xs) at T7230.hs:47:1-68 or from: xs ~ (x : xs1) diff --git a/testsuite/tests/polykinds/T7328.stderr b/testsuite/tests/polykinds/T7328.stderr index 76f81555dd..e6accc56f4 100644 --- a/testsuite/tests/polykinds/T7328.stderr +++ b/testsuite/tests/polykinds/T7328.stderr @@ -3,4 +3,4 @@ T7328.hs:8:34: error: • Occurs check: cannot construct the infinite kind: k1 ~ k0 -> k1 • In the first argument of ‘Foo’, namely ‘f’ In the first argument of ‘Proxy’, namely ‘(Foo f)’ - In the type signature: foo :: a ~ f i => Proxy (Foo f) + In the type signature: foo :: (a ~ f i) => Proxy (Foo f) diff --git a/testsuite/tests/polykinds/T9222.stderr b/testsuite/tests/polykinds/T9222.stderr index dc1b92c202..6e143e0cf9 100644 --- a/testsuite/tests/polykinds/T9222.stderr +++ b/testsuite/tests/polykinds/T9222.stderr @@ -4,12 +4,12 @@ T9222.hs:13:3: error: ‘c0’ is untouchable inside the constraints: a ~ '(b0, c0) bound by the type of the constructor ‘Want’: - a ~ '(b0, c0) => Proxy b0 + (a ~ '(b0, c0)) => Proxy b0 at T9222.hs:13:3 ‘c’ is a rigid type variable bound by the type of the constructor ‘Want’: forall i1 j1 (a :: (i1, j1)) (b :: i1) (c :: j1). - (a ~ '(b, c) => Proxy b) -> Want a + ((a ~ '(b, c)) => Proxy b) -> Want a at T9222.hs:13:3 • In the ambiguity check for ‘Want’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes diff --git a/testsuite/tests/roles/should_compile/Roles13.stderr b/testsuite/tests/roles/should_compile/Roles13.stderr index 6b7bb557f4..f4b44a28c4 100644 --- a/testsuite/tests/roles/should_compile/Roles13.stderr +++ b/testsuite/tests/roles/should_compile/Roles13.stderr @@ -14,7 +14,7 @@ convert :: Wrap Age -> Int convert = convert1 `cast` (<Wrap Age>_R -> Roles13.N:Wrap[0] Roles13.N:Age[0] - :: ((Wrap Age -> Wrap Age) :: *) ~R# ((Wrap Age -> Int) :: *)) + :: (Wrap Age -> Wrap Age :: *) ~R# (Wrap Age -> Int :: *)) -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} $trModule1 :: GHC.Prim.Addr# diff --git a/testsuite/tests/roles/should_compile/Roles3.stderr b/testsuite/tests/roles/should_compile/Roles3.stderr index 11abd0cd4c..32fcea0abd 100644 --- a/testsuite/tests/roles/should_compile/Roles3.stderr +++ b/testsuite/tests/roles/should_compile/Roles3.stderr @@ -8,7 +8,7 @@ TYPE CONSTRUCTORS meth1 :: a -> a {-# MINIMAL meth1 #-} class C2 a b where - meth2 :: a ~ b => a -> b + meth2 :: (a ~ b) => a -> b {-# MINIMAL meth2 #-} class C3 a b where type family F3 b :: * open @@ -23,7 +23,7 @@ TYPE CONSTRUCTORS COERCION AXIOMS axiom Roles3.N:C1 :: C1 a = a -> a -- Defined at Roles3.hs:6:1 axiom Roles3.N:C2 :: - C2 a b = a ~ b => a -> b -- Defined at Roles3.hs:9:1 + C2 a b = (a ~ b) => a -> b -- Defined at Roles3.hs:9:1 axiom Roles3.N:C3 :: C3 a b = a -> F3 b -> F3 b -- Defined at Roles3.hs:12:1 axiom Roles3.N:C4 :: diff --git a/testsuite/tests/typecheck/should_compile/T10632.stderr b/testsuite/tests/typecheck/should_compile/T10632.stderr index 0796146b17..1733f0ae7a 100644 --- a/testsuite/tests/typecheck/should_compile/T10632.stderr +++ b/testsuite/tests/typecheck/should_compile/T10632.stderr @@ -1,5 +1,5 @@ T10632.hs:4:1: warning: [-Wredundant-constraints] - • Redundant constraint: (?file1::String) + • Redundant constraint: ?file1::String • In the type signature for: f :: (?file1::String) => IO () diff --git a/testsuite/tests/typecheck/should_fail/ClassOperator.stderr b/testsuite/tests/typecheck/should_fail/ClassOperator.stderr index 890783d3c1..bc4eb7c598 100644 --- a/testsuite/tests/typecheck/should_fail/ClassOperator.stderr +++ b/testsuite/tests/typecheck/should_fail/ClassOperator.stderr @@ -1,7 +1,7 @@ ClassOperator.hs:12:3: error: • Could not deduce (a ><> b0) - from the context: (a ><> b) + from the context: a ><> b bound by the type signature for: (**>) :: forall a b. (a ><> b) => a -> a -> () at ClassOperator.hs:12:3-44 @@ -14,7 +14,7 @@ ClassOperator.hs:12:3: error: ClassOperator.hs:12:3: error: • Could not deduce (a ><> b0) - from the context: (a ><> b) + from the context: a ><> b bound by the type signature for: (**<) :: forall a b. (a ><> b) => a -> a -> () at ClassOperator.hs:12:3-44 @@ -27,7 +27,7 @@ ClassOperator.hs:12:3: error: ClassOperator.hs:12:3: error: • Could not deduce (a ><> b0) - from the context: (a ><> b) + from the context: a ><> b bound by the type signature for: (>**) :: forall a b. (a ><> b) => a -> a -> () at ClassOperator.hs:12:3-44 @@ -40,7 +40,7 @@ ClassOperator.hs:12:3: error: ClassOperator.hs:12:3: error: • Could not deduce (a ><> b0) - from the context: (a ><> b) + from the context: a ><> b bound by the type signature for: (<**) :: forall a b. (a ><> b) => a -> a -> () at ClassOperator.hs:12:3-44 diff --git a/testsuite/tests/typecheck/should_fail/FrozenErrorTests.stderr b/testsuite/tests/typecheck/should_fail/FrozenErrorTests.stderr index bff6ba544f..6abb044c8e 100644 --- a/testsuite/tests/typecheck/should_fail/FrozenErrorTests.stderr +++ b/testsuite/tests/typecheck/should_fail/FrozenErrorTests.stderr @@ -2,7 +2,7 @@ FrozenErrorTests.hs:12:12: error: • Couldn't match type ‘Int’ with ‘Bool’ Inaccessible code in - a pattern with constructor: MkT3 :: forall a. a ~ Bool => T a, + a pattern with constructor: MkT3 :: forall a. (a ~ Bool) => T a, in a case alternative • In the pattern: MkT3 In a case alternative: MkT3 -> () diff --git a/testsuite/tests/typecheck/should_fail/IPFail.stderr b/testsuite/tests/typecheck/should_fail/IPFail.stderr index 0ba5bce32a..72c11b0c0d 100644 --- a/testsuite/tests/typecheck/should_fail/IPFail.stderr +++ b/testsuite/tests/typecheck/should_fail/IPFail.stderr @@ -1,7 +1,7 @@ IPFail.hs:6:18: error: • Could not deduce (Num Bool) arising from the literal ‘5’ - from the context: (?x::Int) + from the context: ?x::Int bound by the type signature for: f0 :: (?x::Int) => () -> Bool at IPFail.hs:5:1-31 diff --git a/testsuite/tests/typecheck/should_fail/T12921.stderr b/testsuite/tests/typecheck/should_fail/T12921.stderr index 422ec7dbd3..bd0ba8e43d 100644 --- a/testsuite/tests/typecheck/should_fail/T12921.stderr +++ b/testsuite/tests/typecheck/should_fail/T12921.stderr @@ -21,7 +21,7 @@ T12921.hs:4:16: error: p0)’ from being solved. Probable fix: use a type annotation to specify what ‘p0’ should be. These potential instances exist: - instance a ~ Char => Data.String.IsString [a] + instance (a ~ Char) => Data.String.IsString [a] -- Defined in ‘Data.String’ ...plus two instances involving out-of-scope types (use -fprint-potential-instances to see them all) diff --git a/testsuite/tests/typecheck/should_fail/T5858.stderr b/testsuite/tests/typecheck/should_fail/T5858.stderr index dc3ee90189..829c027135 100644 --- a/testsuite/tests/typecheck/should_fail/T5858.stderr +++ b/testsuite/tests/typecheck/should_fail/T5858.stderr @@ -5,7 +5,7 @@ T5858.hs:11:7: error: ([a0], [a1]))’ from being solved. Probable fix: use a type annotation to specify what ‘a0’, ‘a1’ should be. These potential instance exist: - instance t1 ~ String => InferOverloaded (t1, t1) + instance (t1 ~ String) => InferOverloaded (t1, t1) -- Defined at T5858.hs:8:10 • In the expression: infer ([], []) In an equation for ‘foo’: foo = infer ([], []) diff --git a/testsuite/tests/typecheck/should_fail/T7019a.stderr b/testsuite/tests/typecheck/should_fail/T7019a.stderr index 9772b85e58..a50fbcf240 100644 --- a/testsuite/tests/typecheck/should_fail/T7019a.stderr +++ b/testsuite/tests/typecheck/should_fail/T7019a.stderr @@ -2,6 +2,6 @@ T7019a.hs:11:1: error: • Illegal polymorphic type: forall b. Context (Associated a b) A constraint must be a monotype - • In the context: (forall b. Context (Associated a b)) + • In the context: forall b. Context (Associated a b) While checking the super-classes of class ‘Class’ In the class declaration for ‘Class’ diff --git a/testsuite/tests/typecheck/should_fail/T7525.stderr b/testsuite/tests/typecheck/should_fail/T7525.stderr index 99b9c2861d..11028ef3bd 100644 --- a/testsuite/tests/typecheck/should_fail/T7525.stderr +++ b/testsuite/tests/typecheck/should_fail/T7525.stderr @@ -1,8 +1,8 @@ T7525.hs:5:30: error: - • Could not deduce: (?b::Bool) + • Could not deduce: ?b::Bool arising from a use of implicit parameter ‘?b’ - from the context: (?a::Bool) + from the context: ?a::Bool bound by the implicit-parameter binding for ?a at T7525.hs:5:7-31 • In the second argument of ‘(&&)’, namely ‘?b’ In the expression: ?a && ?b diff --git a/testsuite/tests/typecheck/should_fail/T7857.stderr b/testsuite/tests/typecheck/should_fail/T7857.stderr index ef723a703b..2596efb51f 100644 --- a/testsuite/tests/typecheck/should_fail/T7857.stderr +++ b/testsuite/tests/typecheck/should_fail/T7857.stderr @@ -6,7 +6,7 @@ T7857.hs:8:11: error: at T7857.hs:8:1-21 The type variable ‘a0’ is ambiguous These potential instances exist: - instance [safe] a ~ () => PrintfType (IO a) + instance [safe] (a ~ ()) => PrintfType (IO a) -- Defined in ‘Text.Printf’ instance [safe] (PrintfArg a, PrintfType r) => PrintfType (a -> r) -- Defined in ‘Text.Printf’ diff --git a/testsuite/tests/typecheck/should_fail/T8912.stderr b/testsuite/tests/typecheck/should_fail/T8912.stderr index 78fdd108dd..bfe06c1511 100644 --- a/testsuite/tests/typecheck/should_fail/T8912.stderr +++ b/testsuite/tests/typecheck/should_fail/T8912.stderr @@ -1,6 +1,6 @@ T8912.hs:7:10: error: • Illegal implicit parameter ‘?imp::Int’ - • In the context: (?imp::Int) + • In the context: ?imp::Int While checking an instance declaration In the instance declaration for ‘C [a]’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail041.stderr b/testsuite/tests/typecheck/should_fail/tcfail041.stderr index d2d3214d9e..75cd754d8f 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail041.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail041.stderr @@ -1,6 +1,6 @@ tcfail041.hs:5:1: error: • Illegal implicit parameter ‘?imp::Int’ - • In the context: (?imp::Int) + • In the context: ?imp::Int While checking the super-classes of class ‘D’ In the class declaration for ‘D’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail211.stderr b/testsuite/tests/typecheck/should_fail/tcfail211.stderr index a88cc35507..7a5053a092 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail211.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail211.stderr @@ -1,12 +1,12 @@ tcfail211.hs:5:1: error: • Illegal implicit parameter ‘?imp::Int’ - • In the context: (?imp::Int) + • In the context: ?imp::Int While checking the super-classes of class ‘D’ In the class declaration for ‘D’ tcfail211.hs:8:10: error: • Illegal implicit parameter ‘?imp::Int’ - • In the context: (?imp::Int) + • In the context: ?imp::Int While checking an instance declaration In the instance declaration for ‘D Int’ |