[GHC] #7635: SafeHaskell implying other options

[GHC]

#7635: SafeHaskell implying other options
----------------------------------------+-----------------------------------
Reporter:  shachaf                      |          Owner:                  
    Type:  feature request              |         Status:  new             
Priority:  normal                       |      Component:  Compiler        
 Version:  7.6.1                        |       Keywords:                  
      Os:  Unknown/Multiple             |   Architecture:  Unknown/Multiple
 Failure:  GHC accepts invalid program  |      Blockedby:                  
Blocking:                               |        Related:                  
----------------------------------------+-----------------------------------

Comment(by ezyang):

 I approve of this idea generally, but because SafeHaskell can also be used
 as a "coding style" helper, it probably makes more sense to introduce
 another flag. For good reason too: for example, we also want to turn on
 -fno-omit-yields to make sure untrusted user code from getting infinite
 non-allocating loops. (Actually, it's even tougher than that, because we
 need to compile all our libraries with -fno-omit-yields too!)

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