From 6e41a0ca24381fa5545fe82004275e661dd8dd6e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 6 Nov 2008 12:22:50 -0500 Subject: Cookie demo code; fix error message display --- demo/cookie.ur | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 demo/cookie.ur (limited to 'demo/cookie.ur') diff --git a/demo/cookie.ur b/demo/cookie.ur new file mode 100644 index 00000000..02f4cab5 --- /dev/null +++ b/demo/cookie.ur @@ -0,0 +1,26 @@ +cookie c : {A : string, B : float, C : int} + +fun set r = + setCookie c {A = r.A, B = readError r.B, C = readError r.C}; + return Cookie set. + +fun main () = + ro <- getCookie c; + let + val xml = case ro of + None => No cookie set. + | Some v => Cookie: A = {[v.A]}, B = {[v.B]}, C = {[v.C]} + in + return + {xml}

+ +
+ A:
+ B:
+ C:
+ + +
+ end + + -- cgit v1.2.3