diff tests/query.ur @ 249:b6b75e6e0898

Corify transaction wrappers
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 09:45:23 -0400
parents 71bafe66dbe1
children 326fb4686f60
line wrap: on
line diff
--- a/tests/query.ur	Sun Aug 31 09:05:33 2008 -0400
+++ b/tests/query.ur	Sun Aug 31 09:45:23 2008 -0400
@@ -9,8 +9,14 @@
         (fn fs _ acc => return (Cons (fs.T1, acc)))
         Nil
 
-val r2 : transaction int =
+val r2 : transaction string =
         ls <- r1;
         return (case ls of
-                    Nil => 0
-                  | Cons ({A = a, ...}, _) => a)
+                    Nil => "Problem"
+                  | Cons ({B = b, ...}, _) => b)
+
+val main : unit -> transaction page = fn () =>
+        s <- r2;
+        return <html><body>
+                {cdata s}
+        </body></html>