[Oberon] Type compatibility rules for Pointers

[chris]

On Mon, 15 Jun 2020 22:04:23 +0200, Andreas Pirklbauer wrote:
> But it looks like exception 3 in ch. 9.1. on page 9 should perhaps be 
> modified
> 
> From:
> 
>     “3. In the case of records, the type of the source must be an 
> extension 
>     of the type of the destination." 
> 
> To:
> 
>     “3. In the case of records or pointers, the type of the source must
>     be an extension  of the type of the destination." 
> 
> That should do the trick - BECAUSE we also have the rule "Pointer types
> inherit the extension relation of their base types, if there is any.”

That's exactly what I had in mind in my answer to August Karlstrom.

Thanks for clarification.

chris