Output contract's arguements

[Joseph Rushton Wakeling]

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_.