From a3a88e4d58f7b3d8df8304052e603b274f90671d Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 24 Sep 2010 12:04:23 +0000 Subject: [PATCH] Change "OPTIONS" to "OPTIONS_GHC" in error messages; fixes #4327 --- compiler/main/HeaderInfo.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 1.7.10.4