[Oberon] Type compatibility rules for Pointers
chris at gcjd.org
Mon Jun 15 22:53:54 CEST 2020
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.
More information about the Oberon