Type compatibility rules summary.

Topics related to the use of Oberon language features
Post Reply
cfbsoftware
Site Admin
Posts: 423
Joined: Fri Dec 31, 2010 12:30 pm
Contact:

Type compatibility rules summary.

Post by cfbsoftware » Fri Sep 11, 2020 4:06 am

An interesting question about the type compatibility rules was recently posted here but was deleted by the user before I had a chance to reply. As it happened it actually highlighted a problem which has since been fixed in v7.2 of Astrobe.

A good summary of Oberon's type compatibility rules which helps to answer these sorts of problems has been produced by Karl Landström (aka August Karlstrom), the author of OBNC, the Oberon to C translator. It is available here:

https://www.miasap.se/obnc/type-compatibility.html

kevinhely
Posts: 29
Joined: Wed May 18, 2011 3:35 am

Re: Type compatibility rules summary.

Post by kevinhely » Fri Sep 11, 2020 11:32 am

Hi,

I think you're referring to a question I posted but then deleted because I discovered it had already been answered earlier on this forum.

The summary you link to mixes up types and type identifiers, and defines "same type" for two variables but then uses the term "same type" in a context that does not involve variables. Nevertheless, I think it's a useful document (and shows that it is possible to be clear about such matters without taking pages and pages, as has been claimed before). It should be in the official language definition, whose brevity has been achieved at the cost of some ambiguity...

Post Reply