[GHC] #4191: Replace -fstrict-dicts with programmer-custom strictness annotations for class contexts

[GHC]

#4191: Replace -fstrict-dicts with programmer-custom strictness annotations for
class contexts
---------------------------------+------------------------------------------
    Reporter:  LouisWasserman    |       Owner:              
        Type:  feature request   |      Status:  new         
    Priority:  normal            |   Component:  Compiler    
     Version:  6.12.3            |    Keywords:              
          Os:  Unknown/Multiple  |    Testcase:              
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown
---------------------------------+------------------------------------------
 Could we perhaps add syntax that looks like

 {{{
 foo :: (!(Foo a)) => a -> a
 }}}

 to indicate that a dictionary should be evaluated strictly?  At the
 moment, -fstrict-dicts is an extremely blunt tool, since it can only be
 given as a static option.

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