[Oberon] Type compatibility rules for Pointers
chris at gcjd.org
Mon Jun 15 23:35:26 CEST 2020
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
> “3. In the case of records, the type of the source must be an
> of the type of the destination."
> “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.
More information about the Oberon