Introduce VecMerger to efficiently merge owning vectors
#701
+169
−22
Annotations
10 warnings
|
Cargo clippy:
differential-dataflow/src/operators/arrange/agent.rs#L430
`activator` shadows a previous, unrelated binding
|
|
Cargo clippy:
differential-dataflow/src/operators/arrange/agent.rs#L296
using `.clone()` on a ref-counted pointer
|
|
Cargo clippy:
differential-dataflow/src/operators/arrange/agent.rs#L295
`activator` shadows a previous, unrelated binding
|
|
Cargo clippy:
differential-dataflow/src/operators/arrange/agent.rs#L94
using `.clone()` on a ref-counted pointer
|
|
Cargo clippy:
differential-dataflow/src/dynamic/pointstamp.rs#L112
unneeded unit expression
|
|
Cargo clippy:
differential-dataflow/src/dynamic/pointstamp.rs#L109
unneeded unit expression
|
|
Cargo clippy:
differential-dataflow/src/difference.rs#L240
unneeded unit expression
|
|
Cargo clippy:
differential-dataflow/src/difference.rs#L222
unneeded unit expression
|
|
Cargo clippy:
differential-dataflow/src/input.rs#L201
bound is defined in more than one place
|
|
Cargo clippy:
differential-dataflow/src/lattice.rs#L184
unneeded unit expression
|
Loading