Should pure nothrow ---> @pure @nothrow ?

[Leandro Lucarella]

Denis Koroskin, el 27 de noviembre a las 12:17 me escribiste:
> On Fri, 27 Nov 2009 12:09:05 +0300, Don <nospam at nospam.com> wrote:
> 
> >#ponce wrote:
> >>>Definitely. And what about @deprecated and @override?
> >> As override is now required, i don't think it should be an attribute.
> >
> >As I understand it, one of the characteristics of attributes is
> >that you should be able to remove them from the entire program,
> >without affecting the behaviour.  All they are doing is adding
> >additional compile-time constraints. (const and immutable aren't
> >attributes, because you're allowed to overload functions based on
> >them).
> >
> >So @deprecated is definitely an attribute.
> >
> >Is override really required? I've just tested on DMD2.037, and it
> >still accepts functions without it. So at present it is behaving
> >like an attribute. But if it became mandatory, I'm not so sure.
> 
> override is required when compiling with -w.
> 
> By Walter's definition, @property is not a valid attribute, because
> by removing it the program will fail to compile (due to missing
> parens in accessors). Either that or omissible empty parens will
> still be present, but I see no usefulness of @property in that case.

@deprecated will affect if a program compiles too. @safe / @trusted
/ @system too. I think we need a better definition of what an annotation
is :)

-- 
Leandro Lucarella (AKA luca)                     http://llucax.com.ar/
----------------------------------------------------------------------
GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145  104C 949E BFB6 5F5A 8D05)
----------------------------------------------------------------------
Si le decía "Vamos al cine, rica"
Me decía "Veamos una de Kusturica"
Si le decía "Vamos a oler las flores"
Me hablaba de Virginia Wolf y sus amores
Me hizo mucho mal la cumbiera intelectual