summaryrefslogtreecommitdiff
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-11-01 17:02:16 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2015-11-01 17:02:16 -0500
commitdc8c8ed99b79e4f3c3c38f131dd7563148524591 (patch)
tree6fc5bda32c27ba5f8bca4712c5fe95b743dbe798 /lib/ur/basis.urs
parentc0670f7c2517948966a5c037b401304a67bb85c6 (diff)
Change behavior of SQL equality to do the intuitive thing for nullable types
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs3
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index e4eaa0a9..a4872c32 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -554,6 +554,9 @@ val sql_div : t ::: Type -> sql_arith t -> sql_binary t t t
val sql_mod : sql_binary int int int
val sql_eq : t ::: Type -> sql_binary t t bool
+(* Note that the semantics of this operator on nullable types are different than for standard SQL!
+ * Instead, we do it the sane way, where [NULL = NULL]. *)
+
val sql_ne : t ::: Type -> sql_binary t t bool
val sql_lt : t ::: Type -> sql_binary t t bool
val sql_le : t ::: Type -> sql_binary t t bool