On 06/15/2016 05:32 PM, Timon Gehr wrote:
On 15.06.2016 18:40, Andrei Alexandrescu wrote:
The only remaining matter is to implement a few preexisting policies
(Hook implementations) to implement typical choices (such as the ones
present today), and the core algorithms for doing bounded operations.
The most interesting algorithms are for computing the bounds of
operations such as |, &, and ^. The D compiler needs those as well, and
currently implements them incorrectly. I have these in my mind and I can
help with those.
https://github.com/tgehr/d-compiler/blob/master/vrange.d#L338
Nice! On first glance (number of steps :o)) these looks like what I had
in mind. Any chance you could make PRs for integrating these into the
compiler? Thanks! -- Andrei
