Output contract's arguements

[Andrei Alexandrescu]

On 9/19/13 3:38 AM, Joseph Rushton Wakeling wrote:
> On 18/09/13 14:11, monarch_dodra wrote:
>> IMO, this is wrong. When calling a function with an out contract, the
>> arguments
>> should *also* be passed to the out contract directly. "out" should not be
>> expected to run on the body's "sloppy seconds".
>
> I'm not sure I understand your objection here.  As I understood it the
> whole point of an "out" contract was to check the state of everything
> _after the function has exited_.

Agreed.

Andrei