search

flux-rs / flux

Refinement Types for Rust
MIT License
660 stars 21 forks source link

Basic support for `for i in a..b { blah }` #873

Closed ranjitjhala closed 3 weeks ago

ranjitjhala commented 3 weeks ago

Copied over and modified mostly from @vrindisbacher 's https://github.com/vrindisbacher/flux-sandbox/blob/main/src/iterator.rs

nilehmann commented 3 weeks ago

@ranjitjhala you didn't push rrange.rs

ranjitjhala commented 3 weeks ago

Since its just tests, I'm merging -- easy enough to revert if needed.