[Swift-devel] User perspective on how an app procedure call maps into an application executable call

[Mihael Hategan]

On Thu, 2008-12-04 at 20:30 -0600, Ian Foster wrote:
> Ben:
> 
> I like the description of the semantics. One question:
> 
> "The input files must be treated as read only files."
> 
> This made me wonder what happens if I violate the condition. Do we  
> test for this condition and make the application fail if it is  
> violated? Or are we really saying "if you make any chances they will  
> be lost as we don't copy the file back."

I'm not ben, but... we don't currently check for modification of input
files, and modifications are probably lost unless the input file is also
an output file, which will very likely violate the swift rule that says
that two different swift variables cannot be mapped to the same file.