From 6c0db0f815b3b5b37a359b5a76c11000db700c5a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 21 Aug 2011 10:39:19 -0400 Subject: Fix crash in list unurlification --- tests/rpcList2.ur | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tests/rpcList2.ur (limited to 'tests/rpcList2.ur') diff --git a/tests/rpcList2.ur b/tests/rpcList2.ur new file mode 100644 index 00000000..c0739b84 --- /dev/null +++ b/tests/rpcList2.ur @@ -0,0 +1,7 @@ +fun rpcFunc l : transaction {} = return () + +fun main () : transaction page = return +