[Oberon] Type compatibility rules for Pointers

[chris]

On Mon, 15 Jun 2020 21:43:48 +0200, August Karlstrom wrote:
> Section 6.4 in the language report says that "Pointer types inherit 
the extension relation of their base types, if there is any." Also P2 
is a (trivial) extension of P1 and vice versa.

Right. But it should be mentioned in the list of exceptions for 
assignment compatibility (9.1 in the Oberon-07 report) in the same way 
as record types are mentioned, I believe.

Greetings chris