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
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
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
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,