TimelyDataflow / differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.
MIT License
2.51k stars 182 forks source link

Improve clarity around `Cursor` method requirements #513

Open frankmcsherry opened 1 month ago

frankmcsherry commented 1 month ago

In https://github.com/TimelyDataflow/differential-dataflow/pull/512 there is an internal bug that the Cursor trait is not being invoked in a way that is compatible with its implementation. Perhaps either or both are wrong, but if the specification and documentation are unclear we can and should correct that.