toHash => pure, nothrow, const, @safe

[Alex Rønne Petersen]

On 13-03-2012 16:56, deadalnix wrote:
> Le 13/03/2012 01:50, Walter Bright a écrit :
>> On 3/12/2012 4:11 AM, deadalnix wrote:
>>> For struct, we have inference,
>>
>> ? No we don't.
>>
>
> Ok my mistake. So why not dig in that direction ?
>
>>> so most of the time attributes will correct.
>>> const pure nothrow @safe are something we want, but is it something we
>>> want to
>>> enforce ?
>>
>> Yes, because they are referred to by TypeInfo, and that's fairly useless
>> if it isn't const etc.
>
> I always though that TypeInfo is a poor substitute for metaprograming
> and compile time reflexion.

Yes, and in some cases, it doesn't even work right; i.e. you can declare 
certain opCmp and opEquals signatures that work fine for ==, >, <, etc 
but don't get emitted to the TypeInfo metadata, and vice versa. It's a mess.

-- 
- Alex