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 | 736665b9b6975af4dbb3f68cec31fb75d77915f2 (patch) | |
| tree | 6fc5bda32c27ba5f8bca4712c5fe95b743dbe798 /lib/ur | |
| parent | 3772d0b752c4201c6ae1d00562ea0e80e46608ee (diff) | |
Change behavior of SQL equality to do the intuitive thing for nullable types
Diffstat (limited to 'lib/ur')
| -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 |