summaryrefslogtreecommitdiff
path: root/tests/pquery.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 12:56:46 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 12:56:46 -0400
commit09b9ebf63c7a41dc40a702832b9d103e85dcf297 (patch)
treef15a5b9e7cd38634d3a0ba5f2ffb474848a61f57 /tests/pquery.ur
parent20a746521647810909d3cd3806fa50c238c736ba (diff)
Reading ints and floats from SQL
Diffstat (limited to 'tests/pquery.ur')
-rw-r--r--tests/pquery.ur10
1 files changed, 6 insertions, 4 deletions
diff --git a/tests/pquery.ur b/tests/pquery.ur
index 0ccbc9f2..1086aaee 100644
--- a/tests/pquery.ur
+++ b/tests/pquery.ur
@@ -1,11 +1,13 @@
table t1 : {A : int, B : string, C : float}
fun lookup (inp : {B : string}) =
- s <- query (SELECT t1.B FROM t1 WHERE t1.B = {inp.B})
- (fn fs _ => return fs.T1.B)
- "Couldn't find it!";
+ s <- query (SELECT * FROM t1 WHERE t1.B = {inp.B})
+ (fn fs _ => return fs.T1)
+ {A = 0, B = "Couldn't find it!", C = 0.0};
return <html><body>
- Result: {cdata s}
+ A: {cdata (show _ s.A)}<br/>
+ B: {cdata (show _ s.B)}<br/>
+ C: {cdata (show _ s.C)}<br/>
</body></html>
fun main () : transaction page = return <html><body>