If I write the following code:

 

program Ex1 (input, output); 
  
type NumNode = record 
            Value: integer; 
            pNext: ^ NumNode; 
end; 
  

  
function a (b:integer): integer; 
begin 
end; 

begin

end.

 

Then the compilation works.

So it seems the second record is somehow not accepted.