[dmd-internals] Type mangling for deduced attributes

Martin Nowak dawg at dawgfoto.de
Sun Sep 4 00:42:22 PDT 2011


On Sun, 04 Sep 2011 03:44:19 +0200, Walter Bright <walter at digitalmars.com>  
wrote:

>
>
> On 9/3/2011 5:56 PM, Martin Nowak wrote:
>> I've stumbled over the fact that deduced function attributes (pure,  
>> nothrow) are not reflected
>> in the name mangling. Is this a bug or by design?
>>
>
> It is by design. I think that's the right choice, but I'm not positive.
> _______________________________________________
> dmd-internals mailing list
> dmd-internals at puremagic.com
> http://lists.puremagic.com/mailman/listinfo/dmd-internals

Well I see the point that it could be surprising for linkage.
I also understand that a function pointer to a function that is later  
deduced to be pure nothrow gets a type of
pure nothrow. Tough to decide though.
I think as long as we stick with the current behavior we must prevent  
TypeFunction from messing up the Type merging cache.

martin


More information about the dmd-internals mailing list