Portability Function Attribute: @portable

[Dicebot]

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.