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 "main.searchLemmataIn
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, wi