Fourth Draft: Primary Type Syntax

[Richard (Rikki) Andrew Cattermole]

On 05/10/2024 12:13 AM, Dukc wrote:
> On Tuesday, 24 September 2024 at 20:50:58 UTC, Quirin Schroll wrote:
>> The obligatory 
>> [permalink](https://github.com/Bolpat/DIPs/blob/fcb076e4be19abf634bcadbb7567c49ed80c084c/DIPs/DIP-2NNN-QFS.md) and [latest draft](https://github.com/Bolpat/DIPs/blob/PrimaryTypeSyntax/DIPs/DIP-2NNN-QFS.md).
>>
>> The only difference is new subsections of [§ Maximal Munch 
>> Exceptions](https://github.com/Bolpat/DIPs/blob/fcb076e4be19abf634bcadbb7567c49ed80c084c/DIPs/DIP-2NNN-QFS.md#maximal-munch-exceptions).
> 
> A question, probably out of ignorance: Why do function pointers / 
> delegates need to care about their linkage type?
> 
> I thought that a function pointer can freely point to any function that 
> is otherwise of the correct type, regardless of it's linkage type. Is 
> this not the case?

No.

Linkage affects both mangling and the ABI (how it is called).

Parameters and return values could be in different locations if it was 
mixed up.