Vote for std.uuid

Johannes Pfau nospam at example.com
Sun Jun 24 09:08:41 PDT 2012


Am Sun, 24 Jun 2012 15:30:15 +0200
schrieb "David Nadlinger" <see at klickverbot.at>:

> On Tuesday, 19 June 2012 at 11:24:50 UTC, Dmitry Olshansky wrote:
> > It's time to start voting on its inclusion into Phobos. The 
> > voting ends at 25-26 June.
> 
> There is a serious @safe-ty issue with the current 
> implementation: randomUUID/parseUUID are marked @trusted, but 
> take an arbitrary range as template parameter, the methods of 
> which might be @system.
> 
> I'm aware that this mistake is astonishingly easy to make, and 
> that code like that can be extremely tiresome to get right – 
> there is no way to mark only a part of a template function 
> @trusted, so you can rely on inference for handling cases where 
> safety depends on the template arguments. I should really try to 
> find the time to finish my @trusted rant post soon…
> 

Good catch, I should have seen that. I'll fix it ASAP.

Seems I have to be more careful with @trusted in the future.




More information about the Digitalmars-d mailing list