<div dir="auto">To the best of my knowledge, that undocumented feature is the only (intentionally) missing type rule in my document.<div dir="auto">The type system described is a slight superset of the one implement by the original Oberon-07 RISC compiler.</div><div dir="auto">Let me know if you need clarifications on the document. </div><div dir="auto"><br></div><div dir="auto">oberonc implements all the rules of that document. You can find comments in the source code referring to the type rules, for example in <a href="https://github.com/lboasso/oberonc/blob/master/src/OJP.Mod" target="_blank" rel="noreferrer">https://github.com/lboasso/oberonc/blob/master/src/OJP.Mod</a> at line 216:</div><div dir="auto"><pre>  (* Type Rule A, B *)
  PROCEDURE EqualTypes(t0, t1: OJB.Type): BOOLEAN;
  BEGIN</pre><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Dec 6, 2019, 19:05 <a href="mailto:rochus.keller@bluewin.ch" rel="noreferrer noreferrer noreferrer" target="_blank">rochus.keller@bluewin.ch</a> <<a href="mailto:rochus.keller@bluewin.ch" rel="noreferrer noreferrer noreferrer" target="_blank">rochus.keller@bluewin.ch</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Ok, I see, thank you very much.<br>
<br>
 It should be officially documented in any case. I'm implementing my first true Oberon validator by just following the language report word by word and got tons of inexplicable errors because of rule simply not describe there (neither in the tutorial). If I want to be able to successfully parse the Oberon System (which seems like an obligatory test case) then I consequently have to implement these specialities as well. I'm not very good at reading Oberon source code (yet) though, so I would prefer a precise and complete language report. Your document is already more precise, as it seems.<br>
<br>
Best<br>
R.<br>
<br>
_______________________________<br>
From: Luca Boasso<br>
Sent on: Sat, 07 Dec 2019 03:02:01 +0100<br>
To: <a href="mailto:rochus.keller@bluewin.ch" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">rochus.keller@bluewin.ch</a><br>
Cc: <br>
Subject: Re: [Oberon] Fwd: Re: Re: Question about Oberon semantics of VAR parameters<br>
<br>
Those particular examples exploit an undocumented loophole in the type system that simplify the writing of lower lever functions. I left that out of my document.<br>
<br>
<br>
See ORP.Parameter:<br>
ELSIF (par.type.form = ORB.Array) & (par.type.base = ORB.byteType) & <br>
          (par.type.len >= 0) & (par.type.size = x.type.size) THEN<br>
        ORG.VarParam(x, par.type)<br>
<br>
<br>
<br>
<br>
On Fri, Dec 6, 2019, 17:45 <a href="mailto:rochus.keller@bluewin.ch" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">rochus.keller@bluewin.ch</a> <<a href="mailto:rochus.keller@bluewin.ch" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">rochus.keller@bluewin.ch</a>> wrote:<br>
<br>
This is a very helpful document indeed, thank you very much. <br>
<br>
But as it seems it doesn't explain my originally intended examples, e.g FileDir.Mod line 61 or Files.Mod line 104 (the first reported one was unfortunately my mishap, sorry).<br>
<br>
Best<br>
R.<br>
--<br>
<a href="mailto:Oberon@lists.inf.ethz.ch" rel="noreferrer noreferrer 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 noreferrer noreferrer" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/oberon</a><br>
</blockquote></div>