[Oberon] Clarifying type compatibility in Oberon-07

Andreas Pirklbauer andreas_pirklbauer at yahoo.com
Wed Oct 11 15:22:39 CEST 2017


> Oberon differentiates between the concept of structured types (“A”) vs basic (“B”) types.
>
> br
> Jörg

.... leaving the question open of what its defining property actually is.

It’s a matter of definition. The current status quo is:

- "basic types" imply structural equivalence
- “structured types” (arrays, records) imply name equivalence (except for open arrays).

-AP

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.inf.ethz.ch/pipermail/oberon/attachments/20171011/5ba840e3/attachment.html>


More information about the Oberon mailing list