mirrors/phobos
1
0
Fork 0
mirror of https://github.com/dlang/phobos.git synced 2025-05-01 15:40:36 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Do reflexivity check in assert mode if predicate is claimed to be equivalence relation.

Browse source
This commit is contained in:
H. S. Teoh 2014-11-05 22:03:15 -08:00
parent ab72e3cf51
commit b7c3816fdb
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
std/algorithm.d
View file

@ -4663,8 +4663,15 @@ private struct GroupByImpl(alias pred, IsEquivRelation isEquivRelation, Range)
{ {
r = _r; r = _r;
if (!empty) if (!empty)
{
// Check reflexivity if predicate is claimed to be an equivalence
// relation.
assert(!isEquivRelation || pred(r.front, r.front),
"predicate " ~ pred.stringof ~ " is claimed to be "~
"equivalence relation yet isn't reflexive");
savePrev(); savePrev();
} }
}
@property bool empty() { return r.empty; } @property bool empty() { return r.empty; }
@property auto front() @property auto front()