From: Ian Lynagh <igloo@earth.li>
Date: Fri, 24 Sep 2010 12:04:23 +0000 (+0000)
Subject: Change "OPTIONS" to "OPTIONS_GHC" in error messages; fixes #4327
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=a3a88e4d58f7b3d8df8304052e603b274f90671d

Change "OPTIONS" to "OPTIONS_GHC" in error messages; fixes #4327
---

diff --git a/compiler/main/HeaderInfo.hs b/compiler/main/HeaderInfo.hs
index 0f0798b..508f855 100644
--- a/compiler/main/HeaderInfo.hs
+++ b/compiler/main/HeaderInfo.hs
@@ -256,7 +256,7 @@ checkProcessArgsResult flags
       liftIO $ throwIO $ mkSrcErr $ listToBag $ map mkMsg flags
     where mkMsg (L loc flag)
               = mkPlainErrMsg loc $
-                  (text "unknown flag in  {-# OPTIONS #-} pragma:" <+>
+                  (text "unknown flag in  {-# OPTIONS_GHC #-} pragma:" <+>
                    text flag)
 
 -----------------------------------------------------------------------------
@@ -295,5 +295,5 @@ optionsErrorMsgs unhandled_flags flags_lines _filename
 					  L l f' <- flags_lines, f == f' ]
         mkMsg (L flagSpan flag) = 
             ErrUtils.mkPlainErrMsg flagSpan $
-                    text "unknown flag in  {-# OPTIONS #-} pragma:" <+> text flag
+                    text "unknown flag in  {-# OPTIONS_GHC #-} pragma:" <+> text flag