Bug 7944 – std.range.iota.popFront() cycles when the range is empty

Original discussion: http://forum.dlang.org/post/[email protected] import std.range, std.stdio; void main() { auto r = iota(3); writeln(r.front, ", length: ", r.length, " empty ? ", r.empty); r.popFront(); writeln(r.front, ", length: ", r.length, " empty ? ", r.empty); r.popFront(); writeln(r.front, ", length: ", r.length, " empty ? ", r.empty); r.popFront(); writeln(r.front, ", length: ", r.length, " empty ? ", r.empty); r.popFront(); writeln(r.front, ", length: ", r.length, " empty ? ", r.empty); r.popFront(); } Returns: 0, length: 3 empty ? false 1, length: 2 empty ? false 2, length: 1 empty ? false 3, length: 0 empty ? true 4, length: 4294967295 empty ? false Shouldn't popFront() assert when r.empty == true ?

iota should have an in-contract that asserts !empty.

Commits pushed to master at https://github.com/D-Programming-Language/phobos https://github.com/D-Programming-Language/phobos/commit/028699fe6ca3defa598fef65ffd287e7e3626f72 fix Issue 7944 - std.range.iota.popFront() cycles when the range is empty Added !empty assertions to front, popFront, back, and popBack to the integer iota like some other ranges do. Also added the one that was missing to the floating point iota. https://github.com/D-Programming-Language/phobos/commit/9233d3d20d18e2babf5395c4fb934c800b27ca7d Merge pull request #545 from eco/iota-pop-empty fix Issue 7944 - std.range.iota.popFront() cycles when the range is empty