From a89a3e41b94c294e1f08d369f2558e12b532e430 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 14 Feb 2009 14:07:56 -0500 Subject: Start of RPCification --- tests/rpc.ur | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 tests/rpc.ur (limited to 'tests/rpc.ur') diff --git a/tests/rpc.ur b/tests/rpc.ur new file mode 100644 index 00000000..85191229 --- /dev/null +++ b/tests/rpc.ur @@ -0,0 +1,13 @@ +sequence s + +fun main () : transaction page = + let + fun getNext () = nextval s + in + s <- source 0; + return +