From 6449ee2804cbd9cfd0b90bf65a1ef1021e1d0226 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 15 Feb 2009 13:03:09 -0500 Subject: Parameterized RPC query --- tests/rpcN.ur | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 tests/rpcN.ur (limited to 'tests/rpcN.ur') diff --git a/tests/rpcN.ur b/tests/rpcN.ur new file mode 100644 index 00000000..857b5ed0 --- /dev/null +++ b/tests/rpcN.ur @@ -0,0 +1,16 @@ +table t : { A : int } + +fun main () : transaction page = + let + fun count a = r <- oneRow (SELECT COUNT( * ) AS N FROM t WHERE t.A = {[a]}); + return r.N + in + s <- source 0; + return +