Skip to content

Make atomic a type class.

Robbert Krebbers requested to merge robbert/atomic into master

This MR turns atomic and strongly_atomic into a type class.

This removes a bunch of Hint Extern hacks.

For consistency of naming, this also meant that they had to be renamed into Atomic and StronglyAtomic (since all type classes are camelcased).

Merge request reports