diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-11-01 17:02:16 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-11-01 17:02:16 -0500 |
| commit | dc8c8ed99b79e4f3c3c38f131dd7563148524591 (patch) | |
| tree | 6fc5bda32c27ba5f8bca4712c5fe95b743dbe798 /lib | |
| parent | c0670f7c2517948966a5c037b401304a67bb85c6 (diff) | |
Change behavior of SQL equality to do the intuitive thing for nullable types
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/ur/basis.urs | 3 |
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 |