Marcin 'Qrczak' Kowalczyk wrote:
> MVars should be simple. They are building blocks for more complex
> things.
I completely agree. But _if_ it should happen that my proposal could
be implemented without making anything else more complicated, it would be
the most logical new primitive. If not, then don't do it.
I suppose it is pretty certain that tryEmptyMVar can be implemented without
making anything else more complicated. My only reservation about it is that
there are probably other primitives for which there is an equally strong
case. Perhaps the whole issue of what primitives MVars should have ought
to be thought through again, rather than simply adding new primitives on
demand.
