2010/8/17 Gregory Collins <greg at gregorycollins.net>: > Does GHC expose any primitives for things like atomic compare-and-swap? I think that STM could qualify as LL/SC. It does LL with TVars and bulk SC with transaction commit. ;)