[GHC] #2847: Failure on OPTION_* pramgas other than GHC

[GHC]

#2847: Failure on OPTION_* pramgas other than GHC
---------------------------------+------------------------------------------
    Reporter:  NeilMitchell      |        Owner:                  
        Type:  bug               |       Status:  new             
    Priority:  high              |    Milestone:  6.10.2          
   Component:  Compiler          |      Version:  6.10.1          
    Severity:  normal            |   Resolution:                  
    Keywords:                    |   Difficulty:  Unknown         
    Testcase:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Comment (by NeilMitchell):

 Surely OPTIONS_* where * is not GHC should be treated as a valid pragma
 aimed at someone else? I don't want users of Derive or Yhc being told that
 their pragma is invalid.

 I also have a CATCH pragma that I've used in a few places. I realise that
 GHC wants to give good error reporting, but it seems a shame that I have
 to centrally register pragmas. Could there be a {-# KNOWN_PRAGMA Catch #-}
 style pragma?

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2847#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler