Mercurial > urweb

diff tests/test.urs @ 765:a28982de5645

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Successfully influenced effectful-ness status of FFI func
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 11:27:26 -0400
parents 7f653298dd66
children df09c95085f8
line wrap: on
line diff
--- a/tests/test.urs	Thu Apr 30 17:15:14 2009 -0400
+++ b/tests/test.urs	Sat May 02 11:27:26 2009 -0400
@@ -3,3 +3,4 @@
 val create : string -> t
 val out : t -> string
 val frob : t -> string -> t
+val print : transaction unit