[commit: ghc] type-holes-branch: Name the extension -XTypeHoles rather than -XHoles (889c09d)

Simon Peyton Jones <[email protected]>
Newsgroups gmane.comp.lang.haskell.cvs.ghc
Message-ID <[email protected]>
Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : type-holes-branch

http://hackage.haskell.org/trac/ghc/changeset/889c09dd2490ca1da97b8670f73d0243bf81b5ab

>---------------------------------------------------------------

commit 889c09dd2490ca1da97b8670f73d0243bf81b5ab
Author: Simon Peyton Jones <[email protected]>
Date:   Mon Sep 10 09:22:28 2012 +0100

    Name the extension -XTypeHoles rather than -XHoles

>---------------------------------------------------------------

 compiler/main/DynFlags.hs  |    2 +-
 compiler/rename/RnExpr.lhs |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs
index 358facb..b0d92f5 100644
--- a/compiler/main/DynFlags.hs
+++ b/compiler/main/DynFlags.hs
@@ -2238,7 +2238,7 @@ xFlags = [
   ( "UndecidableInstances",             Opt_UndecidableInstances, nop ),
   ( "IncoherentInstances",              Opt_IncoherentInstances, nop ),
   ( "PackageImports",                   Opt_PackageImports, nop ),
-  ( "Holes",                            Opt_Holes, nop )
+  ( "TypeHoles",                        Opt_TypeHoles, nop )
   ]
 
 defaultFlags :: Platform -> [DynFlag]
diff --git a/compiler/rename/RnExpr.lhs b/compiler/rename/RnExpr.lhs
index 58f0572..ec495ad 100644
--- a/compiler/rename/RnExpr.lhs
+++ b/compiler/rename/RnExpr.lhs
@@ -309,7 +309,7 @@ Since all the symbols are reservedops we can simply reject them.
 We return a (bogus) EWildPat in each case.
 
 \begin{code}
-rnExpr e@EWildPat      = do { holes <- xoptM Opt_Holes
+rnExpr e@EWildPat      = do { holes <- xoptM Opt_TypeHoles
                             ; if holes
                                 then return (HsHole, emptyFVs)
                                 else patSynErr e
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.