#13208: Do two-phase inlining in simpleOptPgm -------------------------------------+------------------------------------- Reporter: lukemaurer | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.1 Resolution: fixed | Keywords: JoinPoints Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | deSugar/should_compile/T13208 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | https://gitlab.haskell.org/ghc/ghc/merge_requests/394 -------------------------------------+------------------------------------- Comment (by Marge Bot <ben+marge-bot@…>): In [changeset:"5eeefe4c1e007ea2098f241634b48a4dada785a5/ghc" 5eeefe4c/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="5eeefe4c1e007ea2098f241634b48a4dada785a5" Improve the very simple optimiser slightly There was a missing case in the very simple optimiser, CoreOpt.simpleOptExpr, which led to Trac #13208 comment:2. In particular, in simple_app, if we find a Let, we should just float it outwards. Otherwise we leave behind some easy-to-reduce beta-redexes. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13208#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler