> I see, but then passing +RTS -V0 to the compiler might make it > deterministic.
I think that the IO manager either does not use the context timer or also uses its own timer. However, I do not known and would have to study the GHC documentation/sources to learn if this is true. Perhaps Andres or Peter might know. _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
