On Tuesday, 15 November 2016 at 16:59:49 UTC, Dicebot wrote:
On 11/15/2016 06:46 PM, Stefan Koch wrote:
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.
When doing so, try to forget that static analysis is the
intended goal. It has to be naturally usable for any other
purpose too, focusing on one specific application case is
likely only harm design decisions.
It's a compiler frontend.
I cannot see any other purposes then code-analysis and
code-transformation.
Regarding Transformations I wanted to write a good D
transformation tool for years now.
