Portability Function Attribute: @portable

Dicebot public at dicebot.lv
Tue Feb 25 15:14:47 PST 2014


On Tuesday, 25 February 2014 at 23:12:37 UTC, Nordlöw wrote:
>> I think the problem here is there's too many functions that 
>> would need to be marked it to be useful and it isn't a big 
>> enough deal for most libs to bother.
>
> Couldn't the compiler recursively infer this property for 
> functions it has the complete (to the bottom) source for?

Complete attribute inference was discussed ~year ago but is not 
on agenda right now. I don't think introduction of new attributes 
is feasible in practice until inference is implemented for 
existing ones.


More information about the Digitalmars-d mailing list