Neil Mitchell
Neil Mitchell
I suggest I answer here, and after we've figured out your confusion, flip this to documentation. As another way of describing it: * TOT = cost of this, everything under...
I think the (...) is coming from the GHC profile and just copied over (can you check the original .prof). If so, no idea. I think your intuition is right...
Taking line 30 of that file: ``` TOT INH IND 48.1 46.1 10.5 Hint.Match findIdeas (903) ``` The function call `findIdeas` and all functions it calls are responsible for 48.1%...
I suspect adding in source locations isn't too hard
Dividing cost by calls is dubious since my experience is that call counts are often wildly off, and costs for some things are sufficiently off that I would put little...
> If we view the 10 cmds as a single cmd then we have less freedom in scheduling. Am I understanding this correctly? My idea was there is the scheduler...
Agree it's very different - it's separating out execution from decision making. > You mean the cmds running in parallel are viewed as one unit? Not really. I mean you...
I made a start. I think the changes that need making more broadly are: * Run should stop using T, and move to a custom R data type. * `Trace`...
After a day of patching, I'm happy enough with the current structure that instead of putting the information outside the Server module, it's now reasonable to put it inside the...
I tried it. No effect at all, so it is bust.