Adjust test suite to new Language Pragma warnigns
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 13 Sep 2013 11:51:33 +0000 (13:51 +0200)
committerJoachim Breitner <mail@joachim-breitner.de>
Sat, 14 Sep 2013 09:02:45 +0000 (11:02 +0200)
(this is related to #3647)

82 files changed:
testsuite/tests/deriving/should_fail/Roles5.stderr
testsuite/tests/deriving/should_fail/T1133A.stderr
testsuite/tests/deriving/should_fail/T2604.stderr
testsuite/tests/deriving/should_fail/T3833.stderr
testsuite/tests/deriving/should_fail/T3834.stderr
testsuite/tests/deriving/should_fail/drvfail-functor1.stderr
testsuite/tests/deriving/should_fail/drvfail015.stderr
testsuite/tests/gadt/gadtSyntaxFail001.stderr
testsuite/tests/gadt/gadtSyntaxFail002.stderr
testsuite/tests/gadt/gadtSyntaxFail003.stderr
testsuite/tests/generics/GenShouldFail0.stderr
testsuite/tests/generics/GenShouldFail1_0.stderr
testsuite/tests/ghci/prog006/prog006.stderr
testsuite/tests/ghci/scripts/ghci044.stderr
testsuite/tests/ghci/scripts/ghci057.stderr
testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr
testsuite/tests/indexed-types/should_fail/T4485.stderr
testsuite/tests/indexed-types/should_fail/T5934.stderr
testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr
testsuite/tests/module/mod41.stderr
testsuite/tests/module/mod42.stderr
testsuite/tests/module/mod43.stderr
testsuite/tests/module/mod45.stderr
testsuite/tests/parser/should_fail/NoDoAndIfThenElse.stderr
testsuite/tests/parser/should_fail/ParserNoForallUnicode.stderr
testsuite/tests/parser/should_fail/ParserNoMultiWayIf.stderr
testsuite/tests/parser/should_fail/T3095.stderr
testsuite/tests/parser/should_fail/T3811e.stderr
testsuite/tests/parser/should_fail/readFail001.stderr
testsuite/tests/parser/should_fail/readFail035.stderr
testsuite/tests/parser/should_fail/readFail036.stderr
testsuite/tests/parser/should_fail/readFail037.stderr
testsuite/tests/parser/should_fail/readFail038.stderr
testsuite/tests/parser/should_fail/readFail039.stderr
testsuite/tests/parser/should_fail/readFail041.stderr
testsuite/tests/parser/should_fail/readFail042.stderr
testsuite/tests/parser/should_fail/readFail043.stderr
testsuite/tests/parser/should_fail/readFailTraditionalRecords1.stderr
testsuite/tests/parser/should_fail/readFailTraditionalRecords2.stderr
testsuite/tests/parser/should_fail/readFailTraditionalRecords3.stderr
testsuite/tests/polykinds/T7151.stderr
testsuite/tests/polykinds/T7433.stderr
testsuite/tests/rename/should_compile/rn049.stderr
testsuite/tests/rename/should_fail/T3265.stderr
testsuite/tests/rename/should_fail/rnfail052.stderr
testsuite/tests/rename/should_fail/rnfail053.stderr
testsuite/tests/rename/should_fail/rnfail056.stderr
testsuite/tests/safeHaskell/ghci/p16.stderr
testsuite/tests/safeHaskell/safeInfered/Mixed01.stderr
testsuite/tests/safeHaskell/safeLanguage/SafeLang12.stderr
testsuite/tests/th/TH_Roles1.stderr
testsuite/tests/typecheck/should_fail/T2538.stderr
testsuite/tests/typecheck/should_fail/T3155.stderr
testsuite/tests/typecheck/should_fail/T5051.stderr
testsuite/tests/typecheck/should_fail/T5095.stderr
testsuite/tests/typecheck/should_fail/T5957.stderr
testsuite/tests/typecheck/should_fail/T7220.stderr
testsuite/tests/typecheck/should_fail/T7809.stderr
testsuite/tests/typecheck/should_fail/TcNoNullaryTC.stderr
testsuite/tests/typecheck/should_fail/fd-loop.stderr
testsuite/tests/typecheck/should_fail/tcfail044.stderr
testsuite/tests/typecheck/should_fail/tcfail047.stderr
testsuite/tests/typecheck/should_fail/tcfail094.stderr
testsuite/tests/typecheck/should_fail/tcfail108.stderr
testsuite/tests/typecheck/should_fail/tcfail117.stderr
testsuite/tests/typecheck/should_fail/tcfail121.stderr
testsuite/tests/typecheck/should_fail/tcfail127.stderr
testsuite/tests/typecheck/should_fail/tcfail139.stderr
testsuite/tests/typecheck/should_fail/tcfail154.stderr
testsuite/tests/typecheck/should_fail/tcfail157.stderr
testsuite/tests/typecheck/should_fail/tcfail166.stderr
testsuite/tests/typecheck/should_fail/tcfail170.stderr
testsuite/tests/typecheck/should_fail/tcfail173.stderr
testsuite/tests/typecheck/should_fail/tcfail183.stderr
testsuite/tests/typecheck/should_fail/tcfail184.stderr
testsuite/tests/typecheck/should_fail/tcfail197.stderr
testsuite/tests/typecheck/should_fail/tcfail209.stderr
testsuite/tests/typecheck/should_fail/tcfail209a.stderr
testsuite/tests/typecheck/should_fail/tcfail213.stderr
testsuite/tests/typecheck/should_fail/tcfail214.stderr
testsuite/tests/typecheck/should_fail/tcfail218.stderr

index 2a58a8a..29018be 100644 (file)
@@ -1,15 +1,15 @@
 
 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’
index c1830b1..a17e684 100644 (file)
@@ -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’
index fc53200..f583331 100644 (file)
@@ -1,10 +1,10 @@
 
 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’
index 3221c35..3bfb857 100644 (file)
@@ -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)’
index ba51c74..ddd67b2 100644 (file)
@@ -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’
index ec0e794..3b5b00c 100644 (file)
@@ -1,5 +1,5 @@
 
 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’
index 7a755c6..e47ca45 100644 (file)
@@ -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:
index 0250c5e..0413ddf 100644 (file)
@@ -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’
index ebfd62d..337e39d 100644 (file)
@@ -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’
index aeed6f7..e948698 100644 (file)
@@ -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’
index f85cd92..0c941b9 100644 (file)
@@ -1,5 +1,5 @@
 
 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’
index 00779d0..d368be5 100644 (file)
@@ -1,5 +1,5 @@
 
 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’
index 53c82d5..0001208 100644 (file)
@@ -1,4 +1,4 @@
 
 Boot.hs:5:13:
     Not a data constructor: ‛forall’
-    Perhaps you intended to use -XExistentialQuantification
+    Perhaps you intended to use ExistentialQuantification
index c0737d1..173e39a 100644 (file)
@@ -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:
index 0306584..e26f15e 100644 (file)
@@ -1,19 +1,19 @@
 
 <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’
index e56025a..b06cae3 100644 (file)
@@ -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’
index d5c1c7f..1b1d03c 100644 (file)
@@ -1,6 +1,6 @@
 
 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)
index bd40882..fca2fc8 100644 (file)
@@ -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")
index d036467..df0ea6e 100644 (file)
@@ -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
index fef47b5..da77e08 100644 (file)
@@ -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’
index 921fc95..e9dfe97 100644 (file)
@@ -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)’
index 8fd553f..b092587 100644 (file)
@@ -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’
index 5630a4a..dd1dac6 100644 (file)
@@ -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’
index 2673763..7102bf2 100644 (file)
@@ -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’
index b175c0a..6c96fc9 100644 (file)
@@ -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?
index a359864..6c98433 100644 (file)
@@ -1,5 +1,5 @@
 
 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>
index 1a82362..64d7052 100644 (file)
@@ -1,3 +1,3 @@
 
 ParserNoMultiWayIf.hs:4:5:
-    Multi-way if-expressions need -XMultiWayIf turned on
+    Multi-way if-expressions need MultiWayIf turned on
index 3e47128..1cb7a0f 100644 (file)
@@ -1,5 +1,5 @@
 
 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>
index f2acc84..e98be9f 100644 (file)
@@ -1,5 +1,4 @@
 
 T3811e.hs:6:6:
-    Illegal datatype context (use -XDatatypeContexts): (Show a,
-                                                        Read a) =>
-
+    Illegal datatype context (use DatatypeContexts): (Show a,
+                                                      Read a) =>
index aba4ec2..dc02e85 100644 (file)
@@ -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’
 
index 9e3a64a..cd0f2c3 100644 (file)
@@ -1,4 +1,4 @@
 
 readFail035.hs:6:1:
-    ‛Foo’ has no constructors (-XEmptyDataDecls permits this)
+    ‛Foo’ has no constructors (EmptyDataDecls permits this)
     In the data declaration for ‛Foo’
index 9360e62..8c9d4d4 100644 (file)
@@ -1,5 +1,5 @@
 
 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’
index a9c9ff7..e3e65cf 100644 (file)
@@ -1,5 +1,5 @@
 
 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’
index 6933463..c1650c6 100644 (file)
@@ -1,4 +1,4 @@
 
 readFail038.hs:6:7:
     Unexpected parallel statement in a list comprehension
-    Use -XParallelListComp
+    Use ParallelListComp
index d0e2752..a4ffdf8 100644 (file)
@@ -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’
index 14903b5..f94d228 100644 (file)
@@ -1,5 +1,5 @@
 
 readFail041.hs:6:1:
     Fundeps in class ‛Foo’
-    (Use -XFunctionalDependencies to allow fundeps)
+    (Use FunctionalDependencies to allow fundeps)
     In the class declaration for ‛Foo’
index 9941cb6..433397f 100644 (file)
@@ -1,11 +1,11 @@
 
 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’
 
index 72981ed..b39f8f8 100644 (file)
@@ -1,7 +1,7 @@
 
 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’
index 34887ef..34cda9c 100644 (file)
@@ -1,3 +1,3 @@
 
 readFailTraditionalRecords1.hs:6:16:
-    Illegal record syntax (use -XTraditionalRecordSyntax): {i :: Int}
+    Illegal record syntax (use TraditionalRecordSyntax): {i :: Int}
index a2d6bb3..771b345 100644 (file)
@@ -1,3 +1,3 @@
 
 readFailTraditionalRecords2.hs:6:4:
-    Illegal record syntax (use -XTraditionalRecordSyntax): Foo {i = j}
+    Illegal record syntax (use TraditionalRecordSyntax): Foo {i = j}
index 678486d..0317935 100644 (file)
@@ -1,3 +1,3 @@
 
 readFailTraditionalRecords3.hs:6:7:
-    Illegal record syntax (use -XTraditionalRecordSyntax): x {i = 3}
+    Illegal record syntax (use TraditionalRecordSyntax): x {i = 3}
index bdefa66..61949db 100644 (file)
@@ -1,4 +1,4 @@
 
 T7151.hs:3:12:
     Illegal type: ‛'[Int, String]’
-      Perhaps you intended to use -XDataKinds
+      Perhaps you intended to use DataKinds
index 6cb6963..97ba56e 100644 (file)
@@ -1,6 +1,6 @@
 
 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’
index 766c681..77df012 100644 (file)
@@ -1,4 +1,4 @@
 
-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
index 0a56f4c..185861a 100644 (file)
@@ -1,8 +1,8 @@
 
 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
index f6d0929..1884776 100644 (file)
@@ -1,5 +1,5 @@
 
 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>
index 8dc85ab..183c8a7 100644 (file)
@@ -1,4 +1,4 @@
 
 rnfail053.hs:5:10:
     Not a data constructor: ‛forall’
-    Perhaps you intended to use -XExistentialQuantification
+    Perhaps you intended to use ExistentialQuantification
index 3ddf502..19c1188 100644 (file)
@@ -1,4 +1,4 @@
 
-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
index 373920e..77d3b1b 100644 (file)
@@ -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:
index e52f966..82a78d0 100644 (file)
@@ -1,4 +1,4 @@
 
 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
index 1173161..a275ccc 100644 (file)
@@ -1,11 +1,11 @@
 
-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
index 0b1ac33..f8b659e 100644 (file)
@@ -1,5 +1,5 @@
 
 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’
index 2e67c87..9838eb5 100644 (file)
@@ -1,12 +1,12 @@
 
 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:
index d26bb6d..85a31c3 100644 (file)
@@ -1,5 +1,5 @@
 
 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>
index b15c2d9..2dae810 100644 (file)
@@ -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
index 28dd53a..37bfccb 100644 (file)
@@ -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
index f4300b0..3b4f5e8 100644 (file)
@@ -1,6 +1,6 @@
 
 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
index d57e068..5dba6b5 100644 (file)
@@ -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’:
index b743926..ebfb3f5 100644 (file)
@@ -1,5 +1,5 @@
 
 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
index 9619004..90ef787 100644 (file)
@@ -1,5 +1,5 @@
 
 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’
index 37eae5d..f26bda8 100644 (file)
@@ -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
-    (Use -XUndecidableInstances to permit this)
+    (Use UndecidableInstances to permit this)
     In the instance declaration for ‛Eq (T a)’
 
 fd-loop.hs:12:10:
     Variable ‛b’ occurs more often than in the instance head
       in the constraint: Eq b
-    (Use -XUndecidableInstances to permit this)
+    (Use UndecidableInstances to permit this)
     In the instance declaration for ‛Eq (T a)’
index ab3b94f..eaf769f 100644 (file)
@@ -4,7 +4,7 @@ tcfail044.hs:5:20:
       (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 -> a)’
 
 tcfail044.hs:8:21:
@@ -12,5 +12,5 @@ tcfail044.hs:8:21:
       (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 ‛Num (a -> a)’
index 5c96920..b9778ba 100644 (file)
@@ -4,5 +4,5 @@ tcfail047.hs:6: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 ‛A (a, (b, c))’
index c5dcc17..c38674b 100644 (file)
@@ -1,3 +1,3 @@
 
 tcfail094.hs:7:14:
-    Illegal literal in type (use -XDataKinds to enable): 1
+    Illegal literal in type (use DataKinds to enable): 1
index f3c2415..e1b8c71 100644 (file)
@@ -1,7 +1,7 @@
 
 tcfail108.hs:7:10:
     Non type-variable argument in the constraint: Eq (f (Rec f))
-    (Use -XFlexibleContexts to permit this)
+    (Use FlexibleContexts to permit this)
     In the context: (Eq (f (Rec f)))
     While checking an instance declaration
     In the instance declaration for ‛Eq (Rec f)’
index 40a14e7..3f2248a 100644 (file)
@@ -3,7 +3,7 @@ tcfail117.hs:5:32:
     Can't make a derived instance of ‛Enum N1’:
       ‛N1’ 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 ‛N1’
 
 tcfail117.hs:6:32:
index 7ac388a..abad2d4 100644 (file)
@@ -6,7 +6,7 @@ tcfail121.hs:13:9:
         -- Defined at tcfail121.hs:9:10
       instance [overlap ok] Foo [Int] -- Defined at tcfail121.hs:10: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: op x
     In an equation for ‛foo’: foo x = op x
index c7d4153..fb91cfb 100644 (file)
@@ -1,5 +1,5 @@
 
 tcfail127.hs:3:8:
     Illegal polymorphic or qualified type: Num a => a -> a
-    Perhaps you intended to use -XImpredicativeTypes
+    Perhaps you intended to use ImpredicativeTypes
     In the type signature for ‛foo’: foo :: IO (Num a => a -> a)
index bfdc89b..731181e 100644 (file)
@@ -3,5 +3,5 @@ tcfail139.hs:6:10:
     Illegal instance declaration for ‛Bounded Foo’
       (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 ‛Bounded Foo’
index 8977eac..80eba2d 100644 (file)
@@ -2,5 +2,5 @@
 tcfail154.hs:12:10:
     Variable ‛a’ occurs more often than in the instance head
       in the constraint: C a a
-    (Use -XUndecidableInstances to permit this)
+    (Use UndecidableInstances to permit this)
     In the instance declaration for ‛Eq (T a)’
index cfca878..523d118 100644 (file)
@@ -2,11 +2,11 @@
 tcfail157.hs:27:10:
     Variable ‛b’ occurs more often than in the instance head
       in the constraint: E m a b
-    (Use -XUndecidableInstances to permit this)
+    (Use UndecidableInstances to permit this)
     In the instance declaration for ‛Foo m (a -> ())’
 
 tcfail157.hs:27:10:
     Variable ‛b’ occurs more often than in the instance head
       in the constraint: Foo m b
-    (Use -XUndecidableInstances to permit this)
+    (Use UndecidableInstances to permit this)
     In the instance declaration for ‛Foo m (a -> ())’
index 3907418..9622950 100644 (file)
@@ -1,5 +1,5 @@
 
 tcfail166.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>
index 7e8f011..3f507ae 100644 (file)
@@ -2,5 +2,5 @@
 tcfail170.hs:7:10:
     Illegal instance declaration for ‛C [p] [q]’
       (the Coverage Condition fails for one of the functional dependencies;
-       Use -XUndecidableInstances to permit this)
+       Use UndecidableInstances to permit this)
     In the instance declaration for ‛C [p] [q]’
index 362f3ca..2c87b91 100644 (file)
@@ -1,4 +1,4 @@
 
 tcfail173.hs:5:12:
     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
index fad1ccf..529a17a 100644 (file)
@@ -1,5 +1,5 @@
 
 tcfail183.hs:4:38:
     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>
index cfb8942..6efa337 100644 (file)
@@ -2,6 +2,6 @@
 tcfail184.hs:8:19:
     Illegal polymorphic or qualified type:
       forall a. Ord a => [a] -> [a]
-    Perhaps you intended to use -XRankNTypes or -XRank2Types
+    Perhaps you intended to use RankNTypes or Rank2Types
     In the definition of data constructor ‛MkSwizzle’
     In the newtype declaration for ‛Swizzle’
index 30bf958..c2b1602 100644 (file)
@@ -1,5 +1,5 @@
 
 tcfail197.hs:5:8:
     Illegal polymorphic or qualified type: forall a. a
-    Perhaps you intended to use -XImpredicativeTypes
+    Perhaps you intended to use ImpredicativeTypes
     In the type signature for ‛foo’: foo :: [forall a. a] -> Int
index 65bc8de..7e7e2bd 100644 (file)
@@ -1,5 +1,5 @@
 
 tcfail209.hs:3:1:
     Illegal constraint synonym of kind: ‛* -> Constraint’
-      (Use -XConstraintKinds to permit this)
+      (Use ConstraintKinds to permit this)
     In the type declaration for ‛Showish’
index 9acacaa..2572101 100644 (file)
@@ -1,6 +1,6 @@
 
 tcfail209a.hs:3:6:
     Illegal tuple constraint: (Show a, Num a)
-      (Use -XConstraintKinds to permit this)
+      (Use ConstraintKinds to permit this)
     In the type signature for ‛g’:
       g :: ((Show a, Num a), Eq a) => a -> a
index bef0507..14c330b 100644 (file)
@@ -1,7 +1,7 @@
 
 tcfail213.hs:8:1:
     Illegal constraint ‛F a’ in a superclass/instance context
-      (Use -XUndecidableInstances to permit this)
+      (Use UndecidableInstances to permit this)
     In the context: (F a)
     While checking the super-classes of class ‛C’
     In the class declaration for ‛C’
index 983d4b3..f3d9078 100644 (file)
@@ -1,7 +1,7 @@
 
 tcfail214.hs:9:10:
     Illegal constraint ‛F a’ in a superclass/instance context
-      (Use -XUndecidableInstances to permit this)
+      (Use UndecidableInstances to permit this)
     In the context: (F a)
     While checking an instance declaration
     In the instance declaration for ‛C [a]’
index 66a8515..2afa201 100644 (file)
@@ -5,7 +5,7 @@ tcfail218.hs:10:5:
       instance [incoherent] C [a] b -- Defined at tcfail218.hs:5:10
       instance C [Int] b -- Defined at Tcfail218_Help.hs:7:10
     (The choice depends on the instantiation of ‛a, b’
-     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: foo
     In an equation for ‛x’: x = foo