#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