diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-12-13 13:00:55 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-13 13:00:55 -0500 |
commit | 2319f2ff07432849cc88956ad92467edd2e8bf5e (patch) | |
tree | 5efa45fb63fd11922b53c5575df691072fcbbeca /lib/ur/top.ur | |
parent | fed3ed6ec617bbfcabcd2a4aab2b6ee6e9571c86 (diff) |
Weakening-type coercions for SQL values
Diffstat (limited to 'lib/ur/top.ur')
-rw-r--r-- | lib/ur/top.ur | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/ur/top.ur b/lib/ur/top.ur index ffdd85bf..8b737179 100644 --- a/lib/ur/top.ur +++ b/lib/ur/top.ur @@ -234,6 +234,13 @@ fun queryX' [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] [inp ::: {T return <xml>{acc}{r}</xml>) <xml/> +fun hasRows [tables ::: {{Type}}] [exps ::: {Type}] + [tables ~ exps] + (q : sql_query tables exps) = + query q + (fn _ _ => return True) + False + fun oneOrNoRows [tables ::: {{Type}}] [exps ::: {Type}] [tables ~ exps] (q : sql_query tables exps) = |