🚀 go-pugleaf

In article <1992Nov22.185530.26542@Urmel.Informatik.RWTH-Aachen.DE>, pk@rwthi3.informatik.rwth-aachen.de (Peter Klein) writes:
> In article 18702@informatik.uni-ulm.de, borchert@titania.mathematik.uni-ulm.de (Andreas Borchert) writes:
> 
> >Readonly parameters don't protect from surprises. E.g. if we have
> >the above mentioned
> >
> >   PROCEDURE p(a: Type; READONLY b: Type);

OOPS, I forgot to insert VAR before "a", i.e. I was speaking about

      PROCEDURE p(VAR a: Type; READONLY b: Type);
> >   BEGIN
> >      a[1] := ....;
> >      (* has b[1] been changed now? *)
> >   END;
> >
> >where p is called as p(x, x). And all other cases are still not solved
> >where formerly VAR-parameters have been threatened by other procedures
> >in a non-obvious way.

-- 
_______________________________________________________________________________

Andreas Borchert, University of Ulm, SAI, D-W-7900 Ulm, Germany
Internet: borchert@mathematik.uni-ulm.de