From c0bc51a495cc806fe18b7cd3bee63be6c0f7cf3e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 21 Aug 2011 13:41:57 -0400 Subject: Fix another list unurlification segfault bug; List.foldlMi --- tests/rpcList2.ur | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'tests/rpcList2.ur') diff --git a/tests/rpcList2.ur b/tests/rpcList2.ur index c0739b84..e3ebb456 100644 --- a/tests/rpcList2.ur +++ b/tests/rpcList2.ur @@ -1,7 +1,13 @@ -fun rpcFunc l : transaction {} = return () +fun showList l = case l of + [] => "[]" + | h :: t => strcat (strcat (show h) " :: ") (showList t) + +fun rpcFunc l : transaction string = + case l of h :: _ => return (showList h) | [] => return "[]" fun main () : transaction page = return