#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