Mercurial > urweb

diff lib/top.ur @ 559:5d494183ca89

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add SQL arithmetic operators
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Dec 2008 14:41:19 -0500
parents 20fab0e96217
children 803b2f3bb86b
line wrap: on
line diff
--- a/lib/top.ur	Tue Dec 09 14:06:51 2008 -0500
+++ b/lib/top.ur	Tue Dec 09 14:41:19 2008 -0500
@@ -238,4 +238,4 @@
     (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)