diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-12-09 14:41:19 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-12-09 14:41:19 -0500 |
| commit | 42a061b9b6c6c8fc1ab4aec83067f9bcb5f4fd9e (patch) | |
| tree | 1bdcd341e3e43df6833972a5384b8552f8343039 /lib/top.ur | |
| parent | e4805c5006a613f52e9b6f97566bb9f7782d08f7 (diff) | |
Add SQL arithmetic operators
Diffstat (limited to 'lib/top.ur')
| -rw-r--r-- | lib/top.ur | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -238,4 +238,4 @@ fun eqNullable' (tables ::: {{Type}}) (agg ::: {{Type}}) (exps ::: {Type}) (e2 : option t) = case e2 of None => (SQL {e1} IS NULL) - | Some _ => sql_comparison sql_eq e1 (@sql_inject inj e2) + | Some _ => sql_binary sql_eq e1 (@sql_inject inj e2) |