On 2014-03-01 17:19, Michel Fortin wrote:
I did implement something like that in DMD a while ago as an experiment.
See the comments below that commit:
https://github.com/michelf/dmd/commit/673bae4982ff18a3d216bc1578f50d40f4d26d7a
I based the "quite easy" on the few changes needed in your implementation.
Walter pointed out that it should work for template arguments. I agreed,
devised a plan to restructure the whole thing to be less of a hack and
make it works for templates, then I had no more time to put on this. :-(
That happens too often :(
This planned restructuring did lead to a transition to type-checked
arrays within DMD though, so the effort wasn't completely wasted.
Nice :)
--
/Jacob Carlborg