[Oberon] RE: PIC (was Re. Staapl)
joerg.straube at iaeth.ch
Tue Jul 29 17:56:50 MEST 2008
>OTOH I'm confused that he writes: ----------
>> Conditional statements have the form shown at the left
>> and explained in terms of conventional notation to
>> the right.
>> [cond -> StatSeq] IF cond THEN Statseq END
I just browsed through Wirth's papers:
The short syntax "[ Cond -> StatSeq ]" mentioned in 2) was
eventually replaced by the long syntax "IF Cond THEN StatSeq END".
But even in 1) you find small "left overs" of this syntax:
* In 1) chap 1 you'll find "symbol = + | - ... | ->". The syntactic
token "->" is foreseen.
* In chapter 5, the "->" is used in "GuardedStat = Condition -> StatSeq"
But GuardedStat is not used.
The two papers are not consistent and just not complete (yet!).
They seem to be in "draft" state.
More information about the Oberon