<div dir="ltr"><div dir="auto">For an up to date and comprehensive list of type rules for Oberon-07 you can also refer to:  <a href="https://github.com/lboasso/oberonc/blob/master/doc/TypeRules.md" rel="noreferrer" target="_blank">https://github.com/lboasso/oberonc/blob/master/doc/TypeRules.md</a><div dir="auto"></div><div dir="auto">oberonc slightly generalizes the implied rules in Prof. Wirth latest source code.</div><div dir="auto"><br></div><div dir="auto">Comments like "<a href="https://github.com/lboasso/oberonc/blob/master/src/OJP.Mod#L230">(* Type Rule F.1, F.2 *)</a>" clearly link the definition in the document with the actual implementation in the code, leaving little space for interpretation.</div><div></div><div dir="auto"><br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Apr 30, 2020, 15:32 Chris Burrows <<a href="mailto:chris@cfbsoftware.com" rel="noreferrer" target="_blank">chris@cfbsoftware.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">When I followed the link in the post below the item that really grabbed my<br>
attention was the excellent document:<br>
<br>
Type compatibility in Oberon<br>
<br>
<a href="https://www.miasap.se/obnc/type-compatibility.html" rel="noreferrer noreferrer noreferrer" target="_blank">https://www.miasap.se/obnc/type-compatibility.html</a><br>
<br>
It is apparent to me that a lot of thought has gone into the preparation of<br>
this document. It would be very useful to any Oberon programmer who was<br>
having difficulty understanding why his program would not compile due to a<br>
type-compatibility issue.<br>
<br>
I haven't used OBNC so can't say how well it conforms to these rules -<br>
knowing August's great attention to detail I would expect it to be 'very<br>
well'. While the Astrobe ARM compilers comply with the vast majority of<br>
these rules there are one or two minor exceptions. These are described in<br>
the accompanying documentation. You should also expect some very minor<br>
relaxations of the rules (e.g. ARRAY OF BYTE parameters) when using the<br>
Project Oberon RISC5 compiler. <br>
<br>
Regards,<br>
Chris Burrows<br>
CFB Software<br>
<a href="https://www.astrobe.com" rel="noreferrer noreferrer noreferrer" target="_blank">https://www.astrobe.com</a><br>
<br>
<br>
<br>
> -----Original Message-----<br>
> From: Oberon [mailto:<a href="mailto:oberon-bounces@lists.inf.ethz.ch" rel="noreferrer noreferrer" target="_blank">oberon-bounces@lists.inf.ethz.ch</a>] On Behalf Of<br>
> August Karlstrom<br>
> Sent: Friday, 1 May 2020 2:00 AM<br>
> To: <a href="mailto:oberon@lists.inf.ethz.ch" rel="noreferrer noreferrer" target="_blank">oberon@lists.inf.ethz.ch</a><br>
> Subject: Re: [Oberon] Interfacing with Foreign Systems<br>
> <br>
> On 2020-04-30 01:50, Skulski, Wojciech wrote:<br>
> > Chris:<br>
> ><br>
> >    how about OOC and OO2C? Are they not in the same spirit?<br>
> ><br>
> > <a href="http://ooc.sourceforge.net/index.html" rel="noreferrer noreferrer noreferrer" target="_blank">http://ooc.sourceforge.net/index.html</a><br>
> <br>
> OBNC is a better example. It targets the latest version of Oberon and is<br>
> actively maintained.<br>
> <br>
> <a href="https://www.miasap.se/obnc/" rel="noreferrer noreferrer noreferrer" target="_blank">https://www.miasap.se/obnc/</a><br>
> <br>
> <br>
> -- August<br>
> --<br>
> <a href="mailto:Oberon@lists.inf.ethz.ch" rel="noreferrer noreferrer" target="_blank">Oberon@lists.inf.ethz.ch</a> mailing list for ETH Oberon and related systems<br>
> <a href="https://lists.inf.ethz.ch/mailman/listinfo/oberon" rel="noreferrer noreferrer noreferrer" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/oberon</a><br>
<br>
--<br>
<a href="mailto:Oberon@lists.inf.ethz.ch" rel="noreferrer noreferrer" target="_blank">Oberon@lists.inf.ethz.ch</a> mailing list for ETH Oberon and related systems<br>
<a href="https://lists.inf.ethz.ch/mailman/listinfo/oberon" rel="noreferrer noreferrer noreferrer" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/oberon</a><br>
</blockquote></div>