#14137: Do more inlining into non-recursive join points -------------------------------------+------------------------------------- Reporter: simonpj | Owner: nomeata Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: | Keywords: JoinPoints Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj):
So if I use isJoinId, won’t this delay the effect of the patch to the first run off the occurrence analyser after a simplifier run
True. And in fact `willBeJoinId` is simpler than I thought, so probably ok. But you'll need to ensure that you pass a occ-anal-tagged binder to `occAnalNonRecRhs`. And that in turn means you need to pass a tagged binder to `occAnalUnfolding` (not currently done) and `occAnalRules` (currently done). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14137#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler