Mercurial > urweb

diff tests/test.urs @ 766:df09c95085f8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 12:10:43 -0400
parents a28982de5645
children eac1974924bb
line wrap: on
line diff
--- a/tests/test.urs	Sat May 02 11:27:26 2009 -0400
+++ b/tests/test.urs	Sat May 02 12:10:43 2009 -0400
@@ -4,3 +4,6 @@
 val out : t -> string
 val frob : t -> string -> t
 val print : transaction unit
+
+val foo : transaction unit
+val bar : string -> transaction unit