From d8d9309a0242408460488de0c44029d74c7b3113 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 8 Mar 2009 13:41:55 -0400 Subject: RPC returning an option --- tests/rpcO.ur | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 tests/rpcO.ur (limited to 'tests/rpcO.ur') diff --git a/tests/rpcO.ur b/tests/rpcO.ur new file mode 100644 index 00000000..bc4b430e --- /dev/null +++ b/tests/rpcO.ur @@ -0,0 +1,25 @@ +table t : {A : int} + +fun main () : transaction page = + let + fun check () = + r <- oneRow (SELECT SUM(t.A) AS X FROM t); + return (if r.X < 0 then + (Some 3, None) + else + (None, Some "Hi")) + + fun show (t ::: Type) (_ : show t) (opt : option t) = + case opt of + None => None + | Some v => {[v]} + in + s <- source (None, None); + return +