On Tuesday, 15 October 2013 at 14:15:15 UTC, bearophile wrote:
Daniel Davidson:
If you are agreeing that chain should be pure and it is just
following all the calls and making all of them pure, until
that happens by the professionals - is there a casting
solution so I can fake a pure
On Wednesday, October 16, 2013 09:29:31 monarch_dodra wrote:
The problem is that the whole inference things stops at this
level: the attributes of front are not infered, so chain is not
pure simply because it isn't a template.
http://d.puremagic.com/issues/show_bug.cgi?id=10329
And I think
I would like to correctly annotate my functions with pure. I've
hit a function that is calling chain which breaks purity. Is
chain really not pure?
The relevant section of code is:
...
auto sortedRage = assumeSorted!(a.when
b.when)(opSlice());
auto trisection =
Daniel Davidson:
I would like to correctly annotate my functions with pure. I've
hit a function that is calling chain which breaks purity. Is
chain really not pure?
Phobos is slowly being annotated with pure/nothrow (and @safe)
but not all functions are already tagged.
You could fix the
.
If you are agreeing that chain should be pure and it is just
following all the calls and making all of them pure, until that
happens by the professionals - is there a casting solution so I
can fake a pure and move on?
Daniel Davidson:
If you are agreeing that chain should be pure and it is just
following all the calls and making all of them pure, until that
happens by the professionals - is there a casting solution so I
can fake a pure and move on?
chain is a template, and in Phobos often templates