Rename NamedWildcards flag to NamedWildCards
authorThomas Winant <thomas.winant@cs.kuleuven.be>
Tue, 23 Dec 2014 14:48:29 +0000 (08:48 -0600)
committerAustin Seipp <austin@well-typed.com>
Tue, 23 Dec 2014 14:48:30 +0000 (08:48 -0600)
Summary:
Mind the capital C. As there is already a flag RecordWildCards with a capital
C, we should at least try to be consistent in the spelling of WildCards.

Test Plan: validate

Reviewers: goldfire, simonpj, austin

Reviewed By: simonpj, austin

Subscribers: carter, thomie

Differential Revision: https://phabricator.haskell.org/D584

27 files changed:
compiler/main/DynFlags.hs
compiler/parser/Parser.y
docs/users_guide/flags.xml
docs/users_guide/glasgow_exts.xml
testsuite/tests/driver/T4437.hs
testsuite/tests/partial-sigs/should_compile/Either.hs
testsuite/tests/partial-sigs/should_compile/EveryNamed.hs
testsuite/tests/partial-sigs/should_compile/ExpressionSigNamed.hs
testsuite/tests/partial-sigs/should_compile/GenNamed.hs
testsuite/tests/partial-sigs/should_compile/Meltdown.hs
testsuite/tests/partial-sigs/should_compile/NamedTyVar.hs
testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcards.hs
testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcardsGood.hs
testsuite/tests/partial-sigs/should_compile/ShowNamed.hs
testsuite/tests/partial-sigs/should_compile/SomethingShowable.hs
testsuite/tests/partial-sigs/should_compile/UncurryNamed.hs
testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.hs
testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.hs
testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.hs
testsuite/tests/partial-sigs/should_fail/NamedWildcardsEnabled.hs
testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.hs
testsuite/tests/partial-sigs/should_fail/NestedNamedExtraConstraintsWildcard.hs
testsuite/tests/partial-sigs/should_fail/ScopedNamedWildcardsBad.hs
testsuite/tests/partial-sigs/should_fail/TidyClash2.hs
testsuite/tests/partial-sigs/should_fail/WildcardInADTContext2.hs
testsuite/tests/partial-sigs/should_fail/WildcardInstantiations.hs
testsuite/tests/partial-sigs/should_fail/WildcardsInPatternAndExprSig.hs

index fca8219..8857925 100644 (file)
@@ -630,7 +630,7 @@ data ExtensionFlag
    | Opt_EmptyCase
    | Opt_PatternSynonyms
    | Opt_PartialTypeSignatures
-   | Opt_NamedWildcards
+   | Opt_NamedWildCards
    | Opt_StaticPointers
    deriving (Eq, Enum, Show)
 
@@ -3107,7 +3107,7 @@ xFlags = [
   flagSpec "MultiWayIf"                       Opt_MultiWayIf,
   flagSpec "NPlusKPatterns"                   Opt_NPlusKPatterns,
   flagSpec "NamedFieldPuns"                   Opt_RecordPuns,
-  flagSpec "NamedWildcards"                   Opt_NamedWildcards,
+  flagSpec "NamedWildCards"                   Opt_NamedWildCards,
   flagSpec "NegativeLiterals"                 Opt_NegativeLiterals,
   flagSpec "NondecreasingIndentation"         Opt_NondecreasingIndentation,
   flagSpec' "NullaryTypeClasses"              Opt_NullaryTypeClasses
index e990abb..7739d97 100644 (file)
@@ -2961,7 +2961,7 @@ hintExplicitForall span = do
       ]
 
 namedWildcardsEnabled :: P Bool
-namedWildcardsEnabled = liftM ((Opt_NamedWildcards `xopt`) . dflags) getPState
+namedWildcardsEnabled = liftM ((Opt_NamedWildCards `xopt`) . dflags) getPState
 
 {-
 %************************************************************************
index 6ba0c6f..464cce7 100644 (file)
             <entry><option>-XNoNamedFieldPuns</option></entry>
           </row>
           <row>
-            <entry><option>-XNamedWildcards</option></entry>
+            <entry><option>-XNamedWildCards</option></entry>
             <entry>Enable <link linkend="named-wildcards">named wildcards</link>.</entry>
             <entry>dynamic</entry>
-            <entry><option>-XNoNamedWildcards</option></entry>
+            <entry><option>-XNoNamedWildCards</option></entry>
           </row>
           <row>
             <entry><option>-XNegativeLiterals</option></entry>
index 83576ef..44577f9 100644 (file)
@@ -8729,7 +8729,7 @@ Bool</literal> can be simplified away.
 <para>
 By default, GHC (as the Haskell 2010 standard prescribes) parses identifiers
 starting with an underscore in a type as type variables. To treat them as
-named wildcards, the <option>-XNamedWildcards</option> flag should be enabled.
+named wildcards, the <option>-XNamedWildCards</option> flag should be enabled.
 The example below demonstrated the effect.
 </para>
 
@@ -8739,7 +8739,7 @@ foo _ = False
 </programlisting>
 
 <para>
-Compiling this program without enabling <option>-XNamedWildcards</option>
+Compiling this program without enabling <option>-XNamedWildCards</option>
 produces the following error message complaining about the type variable
 <literal>_a</literal> no matching the actual type <literal>Bool</literal>.
 </para>
@@ -8755,7 +8755,7 @@ Test.hs:5:9:
 </programlisting>
 
 <para>
-Compiling this program with <option>-XNamedWildcards</option> enabled produces
+Compiling this program with <option>-XNamedWildCards</option> enabled produces
 the following error message reporting the inferred type of the named wildcard
 <literal>_a</literal>.
 </para>
index 72f5f58..4120ae9 100644 (file)
@@ -36,7 +36,7 @@ expectedGhcOnlyExtensions = ["RelaxedLayout",
                              "DeriveAnyClass",
                              "PatternSynonyms",
                              "PartialTypeSignatures",
-                             "NamedWildcards",
+                             "NamedWildCards",
                              "StaticPointers"]
 
 expectedCabalOnlyExtensions :: [String]
index 39337f5..e74df6a 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}
 module Either where
 
 barry :: _a -> (_b _a, _b _)
index 3d91e3a..9a06071 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}
 module EveryNamed where
 
 every :: (_a -> Bool) -> [_a] -> Bool
index 3be7bea..de91b00 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}
 module ExpressionSigNamed where
 
 bar :: _a -> _a
index cd33483..72659a8 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}
 module GenNamed where
 
 bar :: _a -> _a
index 1ead403..963af55 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, ScopedTypeVariables, NamedWildcards #-}
+{-# LANGUAGE PartialTypeSignatures, ScopedTypeVariables, NamedWildCards #-}
 module Meltdown where
 
 import Control.Applicative
index e30cb7d..c86a2ec 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}
 module NamedTyVar where
 
 foo :: (_a, b) -> (a, _b)
index 794c8dd..c93c5b0 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}
 
 module ScopedNamedWildcards where
 
index 725cf29..f74df66 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}
 
 module ScopedNamedWildcardsGood where
 
index e723214..e79d8c2 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}
 module ShowNamed where
 
 showTwo :: Show _a => _a -> String
index 6faadfe..338ae5c 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}
 module SomethingShowable where
 
 somethingShowable :: Show _x => _x -> _
index 9bc7b46..5cc4f68 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}
 module UncurryNamed where
 
 unc :: (_a -> _b -> _c) -> (_a, _b) -> _c
index 765313a..884ced6 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards, ScopedTypeVariables, RankNTypes #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards, ScopedTypeVariables, RankNTypes #-}
 module WildcardInstantiations where
 
 
index daaa06c..55cdd5b 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE NamedWildcards #-}
+{-# LANGUAGE NamedWildCards #-}
 module InstantiatedNamedWildcardsInConstraints where
 
 foo :: (Enum _a, _) => _a -> (String, b)
index 8b7372c..28bb836 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}
 module NamedExtraConstraintsWildcard where
 
 foo :: (Eq a, _a) => a -> a
index fe5e606..d08f168 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE NamedWildcards #-}
+{-# LANGUAGE NamedWildCards #-}
 module NamedWildcardsEnabled where
 
 foo :: _a -> _b
index 6b5650c..383115e 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}
 module NamedWildcardsNotInMonotype where
 
 foo :: (Show _a, Eq _c, Eq _b) => _a -> _b -> String
index d906eaf..d999bed 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE RankNTypes, PartialTypeSignatures, NamedWildcards #-}
+{-# LANGUAGE RankNTypes, PartialTypeSignatures, NamedWildCards #-}
 module NestedNamedExtraConstraintsWildcard where
 
 foo :: Bool -> (Eq a, _a) => a
index df0d3b8..7d90a84 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards, ScopedTypeVariables #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards, ScopedTypeVariables #-}
 
 module ScopedNamedWildcardsBad where
 
index 7a2cab3..2ca299b 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE NamedWildcards, ScopedTypeVariables #-}
+{-# LANGUAGE NamedWildCards, ScopedTypeVariables #-}
 module TidyClash2 where
 
 barry :: forall w_. _ -> _ -> w_
index 5923bc2..cf58492 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PartialTypeSignatures, NamedWildcards, DatatypeContexts #-}
+{-# LANGUAGE PartialTypeSignatures, NamedWildCards, DatatypeContexts #-}
 module WildcardInADTContext2 where
 
 data (Eq _a) => Foo a = Foo { getFoo :: a }
index ff4c61c..5b9c6ad 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE NamedWildcards, ScopedTypeVariables, RankNTypes #-}
+{-# LANGUAGE NamedWildCards, ScopedTypeVariables, RankNTypes #-}
 module WildcardInstantiations where
 
 
index a8a069d..9360fe1 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE NamedWildcards, ScopedTypeVariables #-}
+{-# LANGUAGE NamedWildCards, ScopedTypeVariables #-}
 module WildcardsInPatternAndExprSig where
 
 bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c) = [x, z] :: [_d]