On Mon, 09 Jan 2012 08:01:27 -0500, Adam Chlipala <[email protected]> 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 _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
