Re: [GHC] #16346: Lint error on master: Occurrence is GlobalId, but binding is LocalId

#16346: Lint error on master: Occurrence is GlobalId, but binding is LocalId -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.10.1 Component: Compiler | Version: 8.6.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #16296 | Differential Rev(s): Wiki Page: | https://gitlab.haskell.org/ghc/ghc/merge_requests/416 -------------------------------------+------------------------------------- Comment (by Matthew Pickering ): In [changeset:"0eb7cf03da3783ca887d5de44d312cf6f3a4113c/ghc" 0eb7cf03/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="0eb7cf03da3783ca887d5de44d312cf6f3a4113c" Don't do binder-swap for GlobalIds This patch disables the binder-swap transformation in the (relatively rare) case when the scrutinee is a GlobalId. Reason: we are getting Lint errors so that GHC doesn't even validate. Trac #16346. This is NOT the final solution -- it's just a stop-gap to get us running again. The final solution is in Trac #16296 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/16346#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler