#3703: -ddump-rules does not list all rules in effect
-------------------------------+--------------------------------------------
    Reporter:  nomeata         |       Owner:              
        Type:  bug             |      Status:  new         
    Priority:  normal          |   Component:  Compiler    
     Version:  6.10.4          |    Keywords:              
          Os:  Linux           |    Testcase:              
Architecture:  x86_64 (amd64)  |     Failure:  None/Unknown
-------------------------------+--------------------------------------------
 Hi,

 the attached code has a function breakOn which calls "break (c==)" from
 Bytestring. That function has a rewrite rule, rewriting it to "breakChar
 c". I’d expect "ghc -ddump-rules" to tell me that this function was
 called, but that is not the case:

 {{{
 $ ghc -O -ddump-rules --make breakOn.hs
 [1 of 1] Compiling Main             ( breakOn.hs, breakOn.o )

 ==================== Transformation rules ====================
 Local rules

 Imported rules



 ==================== Top-level specialisations ====================


 Linking breakOn ...
 }}}

 But in fact, the rule does fire, as this excert from "ghc -ddump-
 inlinings" shows:

 {{{
 Considering inlining
     bytestring-0.9.1.4:Data.ByteString.Char8.breakChar{v r3m} [gid]
 active: False
                                                                     arg
 infos [False]
 interesting continuation BoringCtxt
                                                                     is
 value: True
                                                                     is
 cheap: True
 guidance IF_ARGS 2 [0 0] 4 6
                                                                     ANSWER
 = NO
 }}}
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3703>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to