Mercurial > urweb

diff tests/test.urs @ 771:eac1974924bb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
FFI transactionals
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 18:41:21 -0400
parents df09c95085f8
children
line wrap: on
line diff
--- a/tests/test.urs	Sat May 02 18:20:15 2009 -0400
+++ b/tests/test.urs	Sat May 02 18:41:21 2009 -0400
@@ -7,3 +7,5 @@
 
 val foo : transaction unit
 val bar : string -> transaction unit
+
+val transactional : transaction unit