diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2019-07-26 10:09:07 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2019-07-26 10:09:07 -0400 |
| commit | 89526be4ed3328fef9ac9c8668c3611094e45d18 (patch) | |
| tree | d3267456d4607f7cbc7856e1f0637f7860a8e5f4 /lib/ur | |
| parent | e16efaf6603c4da33b74b499e0e1214c46ddf72d (diff) | |
Remove a misleading comment (#175)
Diffstat (limited to 'lib/ur')
| -rw-r--r-- | lib/ur/basis.urs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index be13c684..2a98bf6f 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -571,9 +571,6 @@ 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 |