Mercurial > urweb

diff tests/transactional.urs @ 1327:1cc67fdac4d3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New argument to transactional free functions, to specify whether we are about to retry
author Adam Chlipala <adam@chlipala.net>
date Sat, 04 Dec 2010 11:15:20 -0500
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/transactional.urs	Sat Dec 04 11:15:20 2010 -0500
@@ -0,0 +1,1 @@
+val foo : transaction {}