[GHC] #7036: StableNames in presence of class constraints / monadic functions

[GHC]

#7036: StableNames in presence of class constraints / monadic functions
-------------------------------+--------------------------------------------
  Reporter:  ifigueroap        |          Owner:                  
      Type:  feature request   |         Status:  closed          
  Priority:  normal            |      Milestone:                  
 Component:  GHC API           |        Version:  7.4.2           
Resolution:  wontfix           |       Keywords:                  
        Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown      |     Difficulty:  Unknown         
  Testcase:                    |      Blockedby:                  
  Blocking:                    |        Related:                  
-------------------------------+--------------------------------------------
Changes (by simonmar):

  * status:  new => closed
  * resolution:  => wontfix


Comment:

 I don't think there's anything concrete we can do here - as Simon says,
 trying to get predictable behaviour from StableNames beyond the simple
 cases (`x == x`) is a losing game.  Even for the simple cases, HPC and
 GHCi break things by introducing extra wrappers internally.

 Perhaps you can implement something analogous to !AspectScheme using
 Template Haskell.  However, that's quite speculative, so I don't think
 it's useful to have a feature request open.  Please do create a feature
 request if you have a specific feature in mind that would help.

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