Re: difficult profiling example

2006-12-13 Thread Ian Lynagh
Hi Serge, On Sat, Dec 09, 2006 at 04:19:26PM +0300, Serge D. Mechveliani wrote: This is again on the time profiling in ghc-6.6. Who could, please, guess what is happening? Is it possible for you to make available a complete, small example showing the confusing behaviour please? Thanks Ian

difficult profiling example

2006-12-09 Thread Serge D. Mechveliani
This is again on the time profiling in ghc-6.6. Who could, please, guess what is happening? main = putStr (showsList newProveds \n) where ... ((_, newProveds), _) = {-# SCC

Re: difficult profiling example

2006-12-04 Thread Kirsten Chevalier
On 12/2/06, Serge D. Mechveliani [EMAIL PROTECTED] wrote: It looks correct that searchLemmata costs 90%. I could believe that splitDisjunctScheme and addEquationsWithReduction take together about 8% of what searchLemma costs. But who inside the searchLemmata loop takes the rest of

difficult profiling example

2006-12-02 Thread Serge D. Mechveliani
Dear GHC developers, dear users, I am starting to doubt in the GHC time profiling. Why can advise, please, on the following example? This is important for me: I need to find who eats time in this particular example. This is for ghc-6.6. I `make' my large program (of many modules) via Cabal,