Output contract's arguements

[monarch_dodra]

On Thursday, 19 September 2013 at 11:11:58 UTC, Peter Alexander 
wrote:
> On Thursday, 19 September 2013 at 11:07:07 UTC, Artur Skawina
>> That "final value of v" is not part of any contract, it's just 
>> a private
>> local.
>
> I repeat my question then: what would you want this to do? As 
> you say, v is a local copy, it cannot be part of a contract -- 
> it cannot affect anything the client code sees.

I'd like the out contract to operate on its own copies of the 
function's arguments.

These could either be passed by the implementation of the body, 
prior to starting proper, or by the caller, passing the same 
arguments to both the contract and the function. That'd be 
dependent on the implementation.