summaryrefslogtreecommitdiff
path: root/lib/ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2019-07-26 10:09:07 -0400
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2019-07-26 10:09:07 -0400
commit89526be4ed3328fef9ac9c8668c3611094e45d18 (patch)
treed3267456d4607f7cbc7856e1f0637f7860a8e5f4 /lib/ur
parente16efaf6603c4da33b74b499e0e1214c46ddf72d (diff)
Remove a misleading comment (#175)
Diffstat (limited to 'lib/ur')
-rw-r--r--lib/ur/basis.urs3
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