[GHC] #14231: Core lint error "in result of Static argument"

[GHC]

#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