From 73ec19ef86ac9aca7f2b710cd29c9107ff7d5914 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 21 Aug 2011 10:55:31 -0400 Subject: Add prototypes for [un]urlification functions --- tests/rpcNested.ur | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 tests/rpcNested.ur (limited to 'tests/rpcNested.ur') diff --git a/tests/rpcNested.ur b/tests/rpcNested.ur new file mode 100644 index 00000000..4d8923bb --- /dev/null +++ b/tests/rpcNested.ur @@ -0,0 +1,16 @@ +datatype node + = Node of + { Label : string + , SubForest : list node + } + +fun getNode () : transaction node = + return (Node { Label = "foo", SubForest = [] }) + +fun main () : transaction page = return +