From 79c2e18d5d237d48f0803bb874d72b4354ba9b25 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 7 Sep 2008 10:13:02 -0400 Subject: intToString --- tests/option.ur | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tests/option.ur') diff --git a/tests/option.ur b/tests/option.ur index 76fcc6ea..d9e901bf 100644 --- a/tests/option.ur +++ b/tests/option.ur @@ -9,15 +9,15 @@ val show = fn x => case x of None => "None" | Some x => x val show2 = fn x => case x of None => "None'" | Some x => show x -val page = fn x => +val page = fn x => return {cdata (show x)} -val page2 = fn x => +val page2 = fn x => return {cdata (show2 x)} -val main : unit -> page = fn () => +val main : unit -> transaction page = fn () => return

-- cgit v1.2.3