summaryrefslogtreecommitdiff
path: root/tests/query.ur
diff options
context:
space:
mode:
Diffstat (limited to 'tests/query.ur')
-rw-r--r--tests/query.ur12
1 files changed, 9 insertions, 3 deletions
diff --git a/tests/query.ur b/tests/query.ur
index 2caf0412..1039e40a 100644
--- a/tests/query.ur
+++ b/tests/query.ur
@@ -9,8 +9,14 @@ val r1 : transaction (list {A : int, B : string, C : float}) =
(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>