Should we have primitive fill-once variables?
David Feuer
david at well-typed.com
Fri Jun 29 18:22:38 UTC 2018
On Friday, June 29, 2018 2:13:39 PM EDT Joachim Breitner wrote:
> I don’t know! Maybe the GC can treat a filled IVar differently (because
> it is no longer mutable?) But really, I don't know :-)
That's a very good point. If we turn the IVar into a pure value, then it loses its "dirty" bit and the GC no longer has to check whether it's pointing to a newer generation. But this is getting into territory that's pretty murky to me.
More information about the ghc-devs
mailing list