[GHC] #9374: Investigate Static Argument Transformation

[GHC]

#9374: Investigate Static Argument Transformation
-------------------------------------+-------------------------------------
              Reporter:  jstolarek   |            Owner:
                  Type:  task        |           Status:  new
              Priority:  lowest      |        Milestone:
             Component:  Compiler    |          Version:  7.9
            Resolution:              |         Keywords:
      Operating System:              |     Architecture:  Unknown/Multiple
  Unknown/Multiple                   |       Difficulty:  Unknown
       Type of failure:              |       Blocked By:
  None/Unknown                       |  Related Tickets:
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by nfrisby):

 Hi Simon, Jan. Thanks for including my on these recent ticket comments. I
 apologize for the stagnant branch.

 I've merged a recent master into my local copy of the late-lam-lift
 branch.

 1) I believe I've successfully completed the merge. There was one subtle
 bug that I recently caught though, so I'm concerned.

 2) My push to origin/late-lam-lift is being rejected due to some submodule
 stuff I don't grok. I need to find the correct ghc-devs email with the
 right conjury in it. (I have also emailed Austin and hvr asking them to
 move the branch to the wip/ folder so it's less restricted.)

 1 and 2 are done. The rest are my current plan, including longer-term
 things.

 3) In light of the host of changes that got merged in, I'm developing the
 status notes from scratch. These are destined for a web page. The meat
 will focus on each flag (there are several), what it does, and why. Most
 of the flags are for developers/power-users only.

 4) I will simplify/clean-up the code itself.

 5) I will add tests for when the late lambda float is enabled. (Is the
 test-suite configurable for this sort of predicate?)

 After 3--5 are complete, someone else could pick-up the work. I hesitate
 to estimate a timeline because I'm moving across the country in the next
 week. My goal is by mid-August.

 6) My partial paper draft is still on a borked laptop's hard drive. Once
 the code and notes are in a state where someone can pick them up, I'm
 going to move the paper back on to my todo list, but with less immediacy.
 If someone beats me to the write-up, I'll happily hand over what I have.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9374#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler