From 065cd9359366197fd8ea66cc584f4e857dfa6ab6 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 2 May 2009 12:10:43 -0400
Subject: More FFI compiler options

---
 tests/test.urs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'tests/test.urs')

diff --git a/tests/test.urs b/tests/test.urs
index b3c8505c..05efcb5b 100644
--- a/tests/test.urs
+++ b/tests/test.urs
@@ -4,3 +4,6 @@ val create : string -> t
 val out : t -> string
 val frob : t -> string -> t
 val print : transaction unit
+
+val foo : transaction unit
+val bar : string -> transaction unit
-- 
cgit v1.2.3