[Oberon] Intermediate scopes in Oberon-07

[Andreas Pirklbauer]

> Just for the record: Below is a possible implementation of the
> Oberon-07 compiler that disallows access to ALL intermediate objects,

Amendment: The modified ORP.qualident has one additional line:

  PROCEDURE qualident(VAR obj: ORB.Object);
  BEGIN obj := ORB.thisObj(); ORS.Get(sym);
    IF obj = NIL THEN ORS.Mark("undef"); obj := dummy END ;
    IF (sym = ORS.period) & (obj.class = ORB.Mod) THEN
      ORS.Get(sym);
      IF sym = ORS.ident THEN obj := ORB.thisimport(obj); ORS.Get(sym);
        IF obj = NIL THEN ORS.Mark("undef"); obj := dummy END
      ELSE ORS.Mark("identifier expected"); obj := dummy
      END
    ELSE CheckLevel(obj.lev)   (*<---- added*)
    END
  END qualident;


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