Remove precondition check.

lasp-lang / types

Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.

https://lasp-lang.org

Apache License 2.0

140 stars 13 forks source link

Closed cmeiklejohn closed 8 years ago

cmeiklejohn commented 8 years ago

Allow blind removals to generate empty states and have no effect: precondition is an artifact of sloppy quorums in Riak.

vitorenesduarte commented 8 years ago

@cmeiklejohn Should this also be done for state_awset and state_awset_ps?

cmeiklejohn commented 8 years ago

@vitorenesduarte Yeah, it should. I don't think we need it.

vitorenesduarte commented 8 years ago

I'm on it.

vitorenesduarte commented 8 years ago

@junghunyoo Can you check this commit df965e9885ca60e6f89cff967e2f17c0ebe3d3e8?

cmeiklejohn commented 8 years ago

@junghunyoo Can you confirm that the changes to the provenance semiring based set look good?

junghunyoo commented 8 years ago

@vitorenesduarte , @cmeiklejohn The state_awset_ps change looks good.