On 2015-10-30 15:39, Atila Neves wrote:
From the discussion here:
http://forum.dlang.org/post/[email protected], I
thought a library solution would do to fix the issue of getting decent
error messages when a type fails to satisfy a template constraint that
it was meant to, such as `isInputRange`. So I submitted a PR
(https://github.com/D-Programming-Language/phobos/pull/3677), it's been
there ever since and doesn't seem like it'll go anywhere from the
discussion
(http://forum.dlang.org/post/[email protected]).
So the only other way is a DIP (http://wiki.dlang.org/DIP84) for
language and compiler support for static inheritance. It's
backwards-compatible and IMHO worth looking at.
Please let me know what you think.
Technically I don't think the "static" keyword is necessary. If it's a
template, assume static inheritance.
--
/Jacob Carlborg
