#14231: Core lint error "in result of Static argument" -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 8.5 Resolution: | Keywords: | StaticArgumentTransformation Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4945 Wiki Page: | -------------------------------------+------------------------------------- Changes (by osa1): * status: new => patch * differential: => Phab:D4945 Comment: In comment:8 I mentioned two problems: 1. Weird shadowing code to avoid renaming. 2. Weird binder cloning. It turns out only fixing (1) is enough to close this ticket. It's easy to fix (2) too (we just need to clone all binders of a definition with `CoreSubst.cloneIdBndrs`) but my patch doesn't include that for now. I validated GHC HEAD with `-fstatic-argument-transformation` and got a bunch of failures. I'll validate again with Phab:D4945 (and with `-fSAT`), and then validate again with my fix for (2) to see if that fixes any existing failures. (I don't have a reproducer for (2) yet) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14231#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler