[isabelle-dev] Using PolyML's memory consumption profiling on Isabelle

[Andreas Schropp]

On 10/13/2011 01:24 PM, Thomas Sewell wrote:
> There are surprisingly many dummy tasks.
> [...]
>      918632 Task_Queue.dummy_task(1)
>    

val dummy_task = Task(NONE, ~1)

Values are not shared?! What the hell?