Commit baaf4e89 authored by Joachim Breitner's avatar Joachim Breitner

Adjust test suite to new Language Pragma warnigns

(this is related to #3647)
parent bd598da4
Roles5.hs:3:8:
Illegal role annotation
Perhaps you intended to use -XRoleAnnotations
Perhaps you intended to use RoleAnnotations
In the data type declaration for ‛T’
Roles5.hs:4:9:
Illegal role annotation
Perhaps you intended to use -XRoleAnnotations
Perhaps you intended to use RoleAnnotations
In the declaration for class C
Roles5.hs:5:8:
Illegal role annotation
Perhaps you intended to use -XRoleAnnotations
Perhaps you intended to use RoleAnnotations
In the declaration for type synonym ‛S’
......@@ -3,5 +3,5 @@ T1133A.hs:6:28:
Can't make a derived instance of ‛Enum X’:
‛X’ must be an enumeration type
(an enumeration consists of one or more nullary, non-GADT constructors)
Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
In the newtype declaration for ‛X’
T2604.hs:7:35:
Can't make a derived instance of ‛Typeable * (DList a)’:
You need -XDeriveDataTypeable to derive an instance for this class
You need DeriveDataTypeable to derive an instance for this class
In the data declaration for ‛DList’
T2604.hs:9:38:
Can't make a derived instance of ‛Typeable * (NList a)’:
You need -XDeriveDataTypeable to derive an instance for this class
You need DeriveDataTypeable to derive an instance for this class
In the newtype declaration for ‛NList’
......@@ -2,5 +2,5 @@
T3833.hs:9:1:
Can't make a derived instance of ‛Monoid (DecodeMap e)’:
‛Monoid’ is not a derivable class
Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
In the stand-alone deriving instance for ‛Monoid (DecodeMap e)’
......@@ -2,5 +2,5 @@
T3834.hs:8:1:
Can't make a derived instance of ‛C T’:
‛C’ is not a derivable class
Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
In the stand-alone deriving instance for ‛C T’
drvfail-functor1.hs:6:14:
Can't make a derived instance of ‛Functor List’:
You need -XDeriveFunctor to derive an instance for this class
You need DeriveFunctor to derive an instance for this class
In the data declaration for ‛List’
......@@ -3,7 +3,7 @@ drvfail015.hs:10:19:
Illegal instance declaration for ‛Eq T’
(All instance types must be of the form (T t1 ... tn)
where T is not a synonym.
Use -XTypeSynonymInstances if you want to disable this.)
Use TypeSynonymInstances if you want to disable this.)
In the stand-alone deriving instance for ‛Eq T’
drvfail015.hs:13:1:
......
......@@ -2,6 +2,6 @@
gadtSyntaxFail001.hs:8:5:
Data constructor ‛C2’ has existential type variables, a context, or a specialised result type
C2 :: forall a. a -> Char -> Foo a Int
(Use -XExistentialQuantification or -XGADTs to allow this)
(Use ExistentialQuantification or GADTs to allow this)
In the definition of data constructor ‛C2’
In the data declaration for ‛Foo’
......@@ -2,6 +2,6 @@
gadtSyntaxFail002.hs:8:5:
Data constructor ‛C2’ has existential type variables, a context, or a specialised result type
C2 :: forall a. a -> Char -> Foo a a
(Use -XExistentialQuantification or -XGADTs to allow this)
(Use ExistentialQuantification or GADTs to allow this)
In the definition of data constructor ‛C2’
In the data declaration for ‛Foo’
......@@ -2,6 +2,6 @@
gadtSyntaxFail003.hs:7:5:
Data constructor ‛C1’ has existential type variables, a context, or a specialised result type
C1 :: forall b a c. a -> Int -> c -> Foo b a
(Use -XExistentialQuantification or -XGADTs to allow this)
(Use ExistentialQuantification or GADTs to allow this)
In the definition of data constructor ‛C1’
In the data declaration for ‛Foo’
GenShouldFail0.hs:9:1:
Can't make a derived instance of ‛Generic X’:
You need -XDeriveGeneric to derive an instance for this class
You need DeriveGeneric to derive an instance for this class
In the stand-alone deriving instance for ‛Generic X’
GenShouldFail1_0.hs:9:1:
Can't make a derived instance of ‛Generic1 X’:
You need -XDeriveGeneric to derive an instance for this class
You need DeriveGeneric to derive an instance for this class
In the stand-alone deriving instance for ‛Generic1 X’
Boot.hs:5:13:
Not a data constructor: ‛forall’
Perhaps you intended to use -XExistentialQuantification
Perhaps you intended to use ExistentialQuantification
......@@ -4,7 +4,7 @@
(All instance types must be of the form (T a1 ... an)
where a1 ... an are *distinct type variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
Use FlexibleInstances if you want to disable this.)
In the instance declaration for ‛C [Int]’
<interactive>:7:10:
......
<interactive>:5:1:
Illegal generalised algebraic data declaration for ‛T’
(Use -XGADTs to allow GADTs)
(Use GADTs to allow GADTs)
In the data declaration for ‛T’
ghci057.hs:3:3:
Data constructor ‛C’ has existential type variables, a context, or a specialised result type
C :: T Int
(Use -XExistentialQuantification or -XGADTs to allow this)
(Use ExistentialQuantification or GADTs to allow this)
In the definition of data constructor ‛C’
In the data declaration for ‛T’
ghci057.hs:3:3:
Data constructor ‛C’ has existential type variables, a context, or a specialised result type
C :: T Int
(Use -XExistentialQuantification or -XGADTs to allow this)
(Use ExistentialQuantification or GADTs to allow this)
In the definition of data constructor ‛C’
In the data declaration for ‛T’
......@@ -2,17 +2,17 @@
NotRelaxedExamples.hs:9:15:
Nested type family application
in the type family application: F1 (F1 Char)
(Use -XUndecidableInstances to permit this)
(Use UndecidableInstances 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)
(Use UndecidableInstances 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)
(Use UndecidableInstances to permit this)
In the type instance declaration for ‛F3’
SimpleFail15.hs:5:8:
Illegal polymorphic or qualified type: a ~ b => t
Perhaps you intended to use -XRankNTypes or -XRank2Types
Perhaps you intended to use RankNTypes or Rank2Types
In the type signature for ‛foo’:
foo :: (a, b) -> (a ~ b => t) -> (a, b)
......@@ -11,7 +11,7 @@ T4485.hs:47:15:
(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
To pick the first instance above, use IncoherentInstances
when compiling the other instance declarations)
In the expression: asChild
In the expression: asChild $ (genElement "foo")
......
......@@ -2,6 +2,6 @@
T5934.hs:12:7:
Cannot instantiate unification variable ‛a0’
with a type involving foralls: (forall s. GenST s) -> Int
Perhaps you want -XImpredicativeTypes
Perhaps you want ImpredicativeTypes
In the expression: 0
In an equation for ‛run’: run = 0
......@@ -2,17 +2,17 @@
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)
(Use UndecidableInstances 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)
(Use UndecidableInstances 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)
(Use UndecidableInstances to permit this)
In the type instance declaration for ‛T’
......@@ -4,5 +4,5 @@ mod41.hs:3:18:
(All instance types must be of the form (T a1 ... an)
where a1 ... an are *distinct type variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
Use FlexibleInstances if you want to disable this.)
In the instance declaration for ‛Eq (Either a a)’
......@@ -4,5 +4,5 @@ mod42.hs:3:10:
(All instance types must be of the form (T a1 ... an)
where a1 ... an are *distinct type variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
Use FlexibleInstances if you want to disable this.)
In the instance declaration for ‛Eq a’
......@@ -3,5 +3,5 @@ mod43.hs:3:10:
Illegal instance declaration for ‛Eq String’
(All instance types must be of the form (T t1 ... tn)
where T is not a synonym.
Use -XTypeSynonymInstances if you want to disable this.)
Use TypeSynonymInstances if you want to disable this.)
In the instance declaration for ‛Eq String’
......@@ -2,5 +2,5 @@
mod45.hs:5:11:
Illegal type signature in instance declaration:
(==) :: T -> T -> Bool
(Use -XInstanceSigs to allow this)
(Use InstanceSigs to allow this)
In the instance declaration for ‛Eq T’
......@@ -2,4 +2,4 @@
NoDoAndIfThenElse.hs:7:13:
Unexpected semi-colons in conditional:
if True; then return (); else return ()
Perhaps you meant to use -XDoAndIfThenElse?
Perhaps you meant to use DoAndIfThenElse?
ParserNoForallUnicode.hs:5:8:
Illegal symbol '∀' in type
Perhaps you intended -XRankNTypes or similar flag
to enable explicit-forall syntax: ∀ <tvs>. <type>
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: ∀ <tvs>. <type>
ParserNoMultiWayIf.hs:4:5:
Multi-way if-expressions need -XMultiWayIf turned on
Multi-way if-expressions need MultiWayIf turned on
T3095.hs:5:21:
Illegal symbol '.' in type
Perhaps you intended -XRankNTypes or similar flag
to enable explicit-forall syntax: forall <tvs>. <type>
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall <tvs>. <type>
T3811e.hs:6:6:
Illegal datatype context (use -XDatatypeContexts): (Show a,
Read a) =>
Illegal datatype context (use DatatypeContexts): (Show a,
Read a) =>
......@@ -4,11 +4,11 @@ readFail001.hs:25:11:
readFail001.hs:38:32:
Not in scope: type constructor or class ‛Leaf’
A data constructor of that name is in scope; did you mean -XDataKinds?
A data constructor of that name is in scope; did you mean DataKinds?
readFail001.hs:38:41:
Not in scope: type constructor or class ‛Leaf’
A data constructor of that name is in scope; did you mean -XDataKinds?
A data constructor of that name is in scope; did you mean DataKinds?
readFail001.hs:87:11: Not in scope: ‛x’
......
readFail035.hs:6:1:
‛Foo’ has no constructors (-XEmptyDataDecls permits this)
‛Foo’ has no constructors (EmptyDataDecls permits this)
In the data declaration for ‛Foo’
readFail036.hs:4:16:
Illegal kind signature: ‛*’
Perhaps you intended to use -XKindSignatures
Perhaps you intended to use KindSignatures
In the data type declaration for ‛Foo’
readFail037.hs:4:1:
Too many parameters for class ‛Foo’
(Use -XMultiParamTypeClasses to allow multi-parameter classes)
(Use MultiParamTypeClasses to allow multi-parameter classes)
In the class declaration for ‛Foo’
readFail038.hs:6:7:
Unexpected parallel statement in a list comprehension
Use -XParallelListComp
Use ParallelListComp
......@@ -2,5 +2,5 @@
readFail039.hs:8:14:
Can't make a derived instance of ‛C Foo’:
‛C’ is not a derivable class
Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
In the newtype declaration for ‛Foo’
readFail041.hs:6:1:
Fundeps in class ‛Foo’
(Use -XFunctionalDependencies to allow fundeps)
(Use FunctionalDependencies to allow fundeps)
In the class declaration for ‛Foo’
readFail042.hs:10:9:
Unexpected transform statement in a list comprehension
Use -XTransformListComp
Use TransformListComp
readFail042.hs:11:9:
Unexpected transform statement in a list comprehension
Use -XTransformListComp
Use TransformListComp
readFail042.hs:11:23: Not in scope: ‛by’
......
readFail043.hs:10:9:
Unexpected transform statement in a list comprehension
Use -XTransformListComp
Use TransformListComp
readFail043.hs:10:20: Not in scope: ‛by’
......@@ -11,7 +11,7 @@ readFail043.hs:10:25: Not in scope: ‛using’
readFail043.hs:11:9:
Unexpected transform statement in a list comprehension
Use -XTransformListComp
Use TransformListComp
readFail043.hs:11:20: Not in scope: ‛by’
......@@ -21,6 +21,6 @@ readFail043.hs:11:25: Not in scope: ‛using’
readFail043.hs:12:9:
Unexpected transform statement in a list comprehension
Use -XTransformListComp
Use TransformListComp
readFail043.hs:12:20: Not in scope: ‛using’
readFailTraditionalRecords1.hs:6:16:
Illegal record syntax (use -XTraditionalRecordSyntax): {i :: Int}
Illegal record syntax (use TraditionalRecordSyntax): {i :: Int}
readFailTraditionalRecords2.hs:6:4:
Illegal record syntax (use -XTraditionalRecordSyntax): Foo {i = j}
Illegal record syntax (use TraditionalRecordSyntax): Foo {i = j}
readFailTraditionalRecords3.hs:6:7:
Illegal record syntax (use -XTraditionalRecordSyntax): x {i = 3}
Illegal record syntax (use TraditionalRecordSyntax): x {i = 3}
T7151.hs:3:12:
Illegal type: ‛'[Int, String]’
Perhaps you intended to use -XDataKinds
Perhaps you intended to use DataKinds
T7433.hs:2:10:
Data constructor ‛Z’ cannot be used here
(Perhaps you intended to use -XDataKinds)
(Perhaps you intended to use DataKinds)
In the type ‛Z’
In the type declaration for ‛T’
rn049.hs:12:6:
Warning: accepting non-standard pattern guards (use -XPatternGuards to suppress this message)
x <- 1 * 2 + 3 * 4
rn049.hs:12:6: Warning:
accepting non-standard pattern guards (use PatternGuards to suppress this message)
x <- 1 * 2 + 3 * 4
T3265.hs:7:8:
Illegal declaration of a type or class operator ‛:+:’
Use -XTypeOperators to declare operators in type and declarations
Use TypeOperators to declare operators in type and declarations
T3265.hs:9:9:
Illegal declaration of a type or class operator ‛:*:’
Use -XTypeOperators to declare operators in type and declarations
Use TypeOperators to declare operators in type and declarations
rnfail052.hs:6:14:
Illegal symbol '.' in type
Perhaps you intended -XRankNTypes or similar flag
to enable explicit-forall syntax: forall <tvs>. <type>
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall <tvs>. <type>
rnfail053.hs:5:10:
Not a data constructor: ‛forall’
Perhaps you intended to use -XExistentialQuantification
Perhaps you intended to use ExistentialQuantification
rnfail056.hs:6:7: Illegal tuple section: use -XTupleSections
rnfail056.hs:6:7: Illegal tuple section: use TupleSections
rnfail056.hs:8:7: Illegal tuple section: use -XTupleSections
rnfail056.hs:8:7: Illegal tuple section: use TupleSections
......@@ -5,7 +5,7 @@
<interactive>:16:29:
Can't make a derived instance of ‛Op T2’:
‛Op’ is not a derivable class
Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
Try GeneralizedNewtypeDeriving for GHC's newtype-deriving extension
In the newtype declaration for ‛T2’
<interactive>:19:9:
......
Mixed01.hs:5:1:
safe import can't be used as Safe Haskell isn't on!
please enable Safe Haskell through either-XSafe, -XTruswrothy or -XUnsafe
please enable Safe Haskell through eitherSafe, Trustwrothy or Unsafe
SafeLang12.hs:2:14:
Warning: -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
SafeLang12.hs:2:14: Warning:
-XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
SafeLang12_B.hs:2:14:
Warning: -XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
SafeLang12_B.hs:2:14: Warning:
-XTemplateHaskell is not allowed in Safe Haskell; ignoring -XTemplateHaskell
[1 of 3] Compiling SafeLang12_B ( SafeLang12_B.hs, SafeLang12_B.o )
SafeLang12_B.hs:14:67:
Syntax error on ''Class
Perhaps you intended to use -XTemplateHaskell
Perhaps you intended to use TemplateHaskell
TH_Roles1.hs:7:4:
Illegal role annotation
Perhaps you intended to use -XRoleAnnotations
Perhaps you intended to use RoleAnnotations
In the data type declaration for ‛T’
T2538.hs:6:6:
Illegal polymorphic or qualified type: Eq a => a -> a
Perhaps you intended to use -XRankNTypes or -XRank2Types
Perhaps you intended to use RankNTypes or Rank2Types
In the type signature for ‛f’: f :: (Eq a => a -> a) -> Int
T2538.hs:9:6:
Illegal polymorphic or qualified type: Eq a => a -> a
Perhaps you intended to use -XImpredicativeTypes
Perhaps you intended to use ImpredicativeTypes
In the type signature for ‛g’: g :: [Eq a => a -> a] -> Int
T2538.hs:12:6:
......
T3155.hs:13:18:
Illegal symbol '.' in type
Perhaps you intended -XRankNTypes or similar flag
to enable explicit-forall syntax: forall <tvs>. <type>
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall <tvs>. <type>
......@@ -5,7 +5,7 @@ T5051.hs:11:11:
instance Eq a => Eq [a] -- Defined in ‛GHC.Classes’
instance [overlap ok] Eq [T] -- Defined at T5051.hs:8:10
(The choice depends on the instantiation of ‛a’
To pick the first instance above, use -XIncoherentInstances
To pick the first instance above, use IncoherentInstances
when compiling the other instance declarations)
In the expression: x >= x
In an equation for ‛foo’: foo x = x >= x
......@@ -60,7 +60,7 @@ T5095.hs:9:11:
-- Defined in ‛Control.Applicative’
instance Eq Integer -- Defined in ‛integer-gmp:GHC.Integer.Type’
(The choice depends on the instantiation of ‛a’
To pick the first instance above, use -XIncoherentInstances
To pick the first instance above, use IncoherentInstances
when compiling the other instance declarations)
In the expression: x == y
In an equation for ‛f’: f x y = x == y
T5957.hs:3:9:
Illegal polymorphic or qualified type: Show a => a -> String
Perhaps you intended to use -XRankNTypes or -XRank2Types
Perhaps you intended to use RankNTypes or Rank2Types
In the type signature for ‛flex’:
flex :: Int -> Show a => a -> String
......@@ -2,7 +2,7 @@
T7220.hs:24:6:
Cannot instantiate unification variable ‛b0’
with a type involving foralls: forall b. (C A b, TF b ~ Y) => b
Perhaps you want -XImpredicativeTypes
Perhaps you want ImpredicativeTypes
In the expression: f :: (forall b. (C A b, TF b ~ Y) => b) -> X
In the expression: (f :: (forall b. (C A b, TF b ~ Y) => b) -> X) u
In an equation for ‛v’:
......
T7809.hs:8:8:
Illegal polymorphic or qualified type: PolyId
Perhaps you intended to use -XImpredicativeTypes
Perhaps you intended to use ImpredicativeTypes
In the type signature for ‛foo’: foo :: F PolyId
TcNoNullaryTC.hs:3:1:
No parameters for class ‛A’
(Use -XNullaryTypeClasses to allow no-parameter classes)
(Use NullaryTypeClasses to allow no-parameter classes)
In the class declaration for ‛A’
......@@ -2,11 +2,11 @@
fd-loop.hs:12:10:
Variable ‛b’ occurs more often than in the instance head
in the constraint: C a b