12 Mar
2010
12 Mar
'10
11:17 a.m.
Thanks again. On 12.03.10 15:38, Max Bolingbroke wrote:
There is nothing *published* (Simon has a half-written one lying around though), but the general approach is similar to that shown in "Projections for strictness analysis" at http://homepages.inf.ed.ac.uk/wadler/topics/strictness-analysis.html. Unfortunately the weird behaviour you are seeing is due to the "demand transformer" technology of GHC, which is one of the unpublished bits...
-- Best regards, Roman Beslik.