native threads vs. -threaded

2010-03-12 Thread Donn Cave
I have been working on a Haskell interface to the platform API for Haiku (was BeOS.) It's C++, but the interesting thing at the moment is the use of threads - a UI window gets its own thread, and whatever Haskell code will be executed by callbacks from that thread. So it was surprising when this

Re: strictness of unused arguments

2010-03-12 Thread Roman Beslik
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.h

Re: undocumented cost centres with -hd and -hy

2010-03-12 Thread Sönke Hahn
On Wednesday 10 March 2010 04:08:19 pm Thomas Schilling wrote: > PAP stands for partial application, i.e., a function with one or more > missing arguments. MUT_ARR_PTRS_FROZEN are mutable objects which are > not moved by the garbage collector. They are an implementation detail > of IORefs and mut

Re: strictness of unused arguments

2010-03-12 Thread Max Bolingbroke
On 12 March 2010 13:13, Roman Beslik wrote: > Thanks for the answer. Sorry, I can not follow all of your thoughts because > my knowledge of strictness analysis and GHC optimizations are very basic. :( > I looked into GHC code once several years ago. BTW there are a lot of papers > about strictness

Re: strictness of unused arguments

2010-03-12 Thread Roman Beslik
Thanks for the answer. Sorry, I can not follow all of your thoughts because my knowledge of strictness analysis and GHC optimizations are very basic. :( I looked into GHC code once several years ago. BTW there are a lot of papers about strictness analysis, but I do not know which is relevant fo