#14430: lintUnfolding does not allow unfoldings to jump to enclosing join points -------------------------------------+------------------------------------- Reporter: nomeata | Owner: nomeata Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 8.3 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:D4169 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Joachim Breitner <mail@…>): In [changeset:"803ed036704aa5bab8b0f1fee407e58d82c85393/ghc" 803ed036/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="803ed036704aa5bab8b0f1fee407e58d82c85393" Invoke lintUnfolding only on top-level unfoldings (#14430) as nested unfoldings are linted together with the top-level unfolding, and lintUnfolding does the wrong things for nestd unfoldings that mention join points. The easiest way of doing that was to pass a TopLevel flag through `tcUnfolding`, which is invoked both for top level and nested unfoldings. Differential Revision: https://phabricator.haskell.org/D4169 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14430#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler