scope(exit) with expected library
WebFreak001
d.forum at webfreak.org
Wed Aug 25 14:33:28 UTC 2021
On Wednesday, 25 August 2021 at 14:22:26 UTC, Paul Backus wrote:
> On Wednesday, 25 August 2021 at 14:04:54 UTC, WebFreak001 wrote:
>> [...]
>
> Probably the only principled way to make this work would be to
> define some kind of "concept"/structural interface that's
> recognized by the compiler to mean "this is an error-handling
> type", in the same way that the compiler recognizes
> `empty`/`front`/`popFront` to mean "this is an iterable type".
>
> Even then, it would require some pretty invasive language
> changes (and some pretty gnarly code in the compiler), but it's
> at least *theoretically* possible.
do you think this would be worth a DIP that could get in? Or
should usage in these packages grow first?
More information about the Digitalmars-d-learn
mailing list