mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-12-23 21:42:09 +03:00
5649c4d2a7
A lot of the places where lists were used, there was an assumed invariant that there would be no duplicate entries, for some criteria of equality. In some cases this was enforced by `nub`, in others not. Sets are a much better choice here, as they actually enforce the invariant, with better complexity for some operations. |
||
---|---|---|
.. | ||
Deterministic | ||
SCT | ||
STM | ||
Deterministic.hs | ||
SCT.hs | ||
STM.hs |