Could a GHC plugin automatically insert aseq? #9
Description
Reads of a certain version of an array should be sequenced before writes to that version if possible.
{{ message }}
Could a GHC plugin automatically insert
aseq? #9Reads of a certain version of an array should be sequenced before writes to that version if possible.