On Friday, 4 August 2017 at 16:11:11 UTC, 12345swordy wrote:
On Friday, 4 August 2017 at 16:07:51 UTC, Kagamin wrote:
On Thursday, 3 August 2017 at 18:32:25 UTC, 12345swordy wrote:
"Enable writing
compiler-enforced
patterns for any purpose:
coding standards
(e.g., many
Core Guidelines
“enforce” rules)
"
Yes, it does, right there. Are you reading the same paper
that I am?
It works only on declarations, like D.
I know that, what is your point?
It means it can't be done.
Do do recursive flow-sensitive checks, (like those needed to
enforce 'pure' or indeed '@nogc'), you'd have to write a
self-modifying meta-program.
Which you cannot do.
