Re: [ooc-compiler] Type Constructors and Export Marks

[August K. <fus...@co...>]

Stewart Greenhill wrote:
-snip-
> Normal Oberon-2 style is to declare names for most 
> types, which is possibly why this problem has not been noticed.
> For example:
>   MODULE M;
>      TYPE T = POINTER TO RECORD y-: LONGINT END;
>      VAR x-: T;
>   END M.
> In this case you already have a declaration for the type, which is used 
> for both variable declarations in the C code. Especially for records, 
> you need a name for the type in order to pass the record type by 
> reference (eg. as a VAR parameter), or to extend the record type.

I agree that this is the recommended approach. Still the compiler 
probably needs to be complete. Even though Oberon-2 is a rather simple 
language it's obviously quite a complex task for a compiler developer to 
get everything right.


August