[fpc-devel] Procedural types returning file types

[Tomas Hajny]

On 2020-12-18 10:01, Blaise--- via fpc-devel wrote:


Hello,

> The patch http://hg.blaise.ru/public/fpc/rev/698389953e49 (attached)
> fixes the following:
> -------8<-------
> // EXPECTED: 'Error: Illegal function result type'
> // ACTUAL: gets compiled
> type M = function : file;
> 
> begin
> end.
> -------8<-------

Sorry for a silly question, but conceptually - why a file (which is 
technically a record) shouldn't be allowed if records are allowed and 
the result (i.e. the file) may be assigned to another variable of the 
type file? Do you have any information why the compiled functionality 
wouldn't work correctly?

Tomas