D Editions

[Atila Neves]

On Thursday, 6 June 2024 at 16:59:27 UTC, Timon Gehr wrote:
> On 6/2/24 02:39, Steven Schveighoffer wrote:
>>> - How do function interfaces work when some type annotations 
>>> exist in only either the language edition of the caller or 
>>> the language edition of the callee? E.g. think DIP1000 is in 
>>> one edition but not in another.
>> 
>> The type annotations are defined by the language edition for 
>> the imported module. So those would be in effect.
>> 
>> In other words, this is not like today where you compile one 
>> module with dip1000 and another module without, and the 
>> compiler blindly assumes all are compiled the same way.
>> 
>> This does introduce an interesting wrinkle -- if there are 
>> differences, newer editions *must define* the interactions 
>> like this between editions as part of the release.
>> 
>> -Steve
>
> Should be in the DIP.

I just tried to put it in the DIP but I'm not sure what the 
wording should be.