[GHC] #7995: module Pretty's "text/str" rule doesn't fire

GHC ghc-devs at haskell.org
Tue Jun 18 15:55:49 CEST 2013


#7995: module Pretty's "text/str" rule doesn't fire
-----------------------------+----------------------------------------------
Reporter:  parcs             |          Owner:                  
    Type:  bug               |         Status:  new             
Priority:  normal            |      Component:  Compiler        
 Version:  7.7               |       Keywords:                  
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown      |      Blockedby:                  
Blocking:                    |        Related:                  
-----------------------------+----------------------------------------------

Comment(by parcs):

 I suspect `Pretty.text "blah"` doesn't get rewritten because `Pretty.text`
 gets inlined before the rule has a chance to fire. `Pretty.text` is
 currently marked as `NOINLINE [1]`; if you change this to `NOINLINE [0]`,
 then the rule does fire.

 And it looks like `Outputable.text "blah"` doesn't get rewritten because
 `Pretty.text` gets inlined into the unfolding of `Outputable.text`.

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



More information about the ghc-tickets mailing list