On Tuesday, 15 November 2016 at 16:39:22 UTC, Dicebot wrote:
[ .... ]But I'd sincerely advise against any ad-hoc solution that is built into DMD itself.
It seems I did not clearly state this.I mean to provide the general plumbing that is needed for the dmd-fe,
to utilize it for static analysis.I do not intend to cram all sorts of checking functionality inside the compiler.
Though what I am planning will also make it easier to extend the optimizer inside dmd, and improve it's efficiency.
