Mercurial > urweb

diff lib/top.ur @ 471:20fab0e96217

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tree demo working (and other assorted regressions fixed)
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 19:43:48 -0500
parents 7cb418e9714f
children 5d494183ca89
line wrap: on
line diff
--- a/lib/top.ur	Thu Nov 06 18:49:38 2008 -0500
+++ b/lib/top.ur	Thu Nov 06 19:43:48 2008 -0500
@@ -230,12 +230,12 @@
     (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)