#16296: OccurAnal should not break the linter assumptions -------------------------------------+------------------------------------- Reporter: aspiwack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.6.3 Resolution: | Keywords: Simplifier 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 Matthew Pickering <matthewtpickering@…>): 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/16296#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler