Re: Ensuring postconditions in the face of exceptions

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Randy Brukardt" <randy@rrsoftware.com> writes:

> For the record, I think you mean "limited record types". There are no 
> requirements on how limited private types or record types that happen to be 
> limited because of a limited component are passed.

Well, that needs some clarification:  for example, a record containing
a task is passed by reference, even if the record doesn't explicitly
say "limited".

The point is, the compiler looks at the full types of everything
involved when deciding whether it must pass something by reference.
So "limited private" is irrelevant.

- Bob