Re: Output contract's arguements

[bearophile]

H. S. Teoh:

At the very least, it would be nice to have access to x.old, as 
Eiffel
allegedly allows, if we insist on letting x refer to the copy 
of the
input value modified by the function body.

OK. But if x is a reference to a data structure, the old 
(prestate) needs to be just a shallow copy.

Bye,
bearophile