-
Remove 'Switch' modules. From now on, instead of switching imports, this package switches the representations of checked variables depending on the
checkmvarinvariants
andchecktvarinvariants
flags. This solves a problem where compiling projects that depend onstrict-checked-vars
might succeed with a flag turned on but fail when it is turned off (and vice versa). -
Add new
unsafeToUncheckedStrictMVar
andunsafeToUncheckedStrictTVar
functions.
- Propagate HasCallStack constraints in the
Switch
module for checked strict MVars.
- Make
writeTVar
more strict.
- Make
newTVarWithInvariant
,newTVarWithInvariantIO
andnewMVarWithInvariant
strict.
- Export
checkInvariant
.
- Initial version, not released on Hackage.