[MLton] Non-exhaustive exn fn match
Matthew Fluet
fluet@cs.cornell.edu
Mon, 18 Jul 2005 20:32:35 -0400 (EDT)
> You only have to depend on threads if you want threads. If you
> don't use threads, you don't need the critical section. I think we in
> fact even used to have an optimization in MLton to turn
> atomic{Begin,End} into no-ops for programs without threads. Sadly, I
> think that optimization went by the wayside. So, I guess you're
> right, you do have to pay some. But the cost is only a couple of
> instructions.
It was disabled because it made asserting whether or not execution was
currently in a critical section fail when the program failed to use
threads.