summaryrefslogtreecommitdiff
path: root/lib/top.ur
diff options
context:
space:
mode:
Diffstat (limited to 'lib/top.ur')
-rw-r--r--lib/top.ur4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/top.ur b/lib/top.ur
index 5d00282c..76fe73c1 100644
--- a/lib/top.ur
+++ b/lib/top.ur
@@ -230,12 +230,12 @@ fun eqNullable (tables ::: {{Type}}) (agg ::: {{Type}}) (exps ::: {Type})
(t ::: Type) (_ : sql_injectable (option t))
(e1 : sql_exp tables agg exps (option t))
(e2 : sql_exp tables agg exps (option t)) =
- (SQL ({[e1]} IS NULL AND {[e2]} IS NULL) OR {[e1]} = {[e2]})
+ (SQL ({e1} IS NULL AND {e2} IS NULL) OR {e1} = {e2})
fun eqNullable' (tables ::: {{Type}}) (agg ::: {{Type}}) (exps ::: {Type})
(t ::: Type) (inj : sql_injectable (option t))
(e1 : sql_exp tables agg exps (option t))
(e2 : option t) =
case e2 of
- None => (SQL {[e1]} IS NULL)
+ None => (SQL {e1} IS NULL)
| Some _ => sql_comparison sql_eq e1 (@sql_inject inj e2)