[Ur] Library for reading external files

[Taru Karttunen]

On Mon, 09 Jan 2012 08:01:27 -0500, Adam Chlipala <adamc at impredicative.com> wrote:
> Does your library maintain the transactional abstraction?  That is, if I 
> read a file twice within an Ur/Web page handler, and the file has been 
> modified from the outside between the first and second reads, will the 
> two blobs returned be different?

They will be different. I think that reading the file is like getting a
random number, something unknown will come out.

I purposefully omitted writing since that would be problematic with
transactional semantics.

- Taru Karttunen