[GHC] #11158: Combine exprIsTrivial and cpe_ExprIsTrivial

[GHC]

#11158: Combine exprIsTrivial and cpe_ExprIsTrivial
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                Owner:
            Type:  task              |               Status:  infoneeded
        Priority:  highest           |            Milestone:  8.2.1
       Component:  Compiler          |              Version:  7.10.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D1656
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by simonpj):

 * cc: simonmar (added)


Comment:

 Yes, looks reasonable.

 No point in having `Nothing` in an SRT.  It should have a no-CAF info.  I
 wonder why it doesn't.

 The `sat_sNJ_closure` thing is strange.  Does it come from a top level
 binding
 {{{
 sat_sNG = ()
 }}}
 or how does it arise?

 I don't know if anything bad would happen if these two closures do end up
 in SRT; I don't see why they should.  Adding simonmar to cc; he'll know
 for sure.

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