Mercurial > urweb

comparison lib/ur/basis.urs @ 2191:849404a3af27

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change behavior of SQL equality to do the intuitive thing for nullable types
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Nov 2015 17:02:16 -0500
parents 14c45a0b6362
children
comparison
equal deleted inserted replaced
2190:22117edf8fd3 2191:849404a3af27
552 val sql_times : t ::: Type -> sql_arith t -> sql_binary t t t 552 val sql_times : t ::: Type -> sql_arith t -> sql_binary t t t
553 val sql_div : t ::: Type -> sql_arith t -> sql_binary t t t 553 val sql_div : t ::: Type -> sql_arith t -> sql_binary t t t
554 val sql_mod : sql_binary int int int 554 val sql_mod : sql_binary int int int
555 555
556 val sql_eq : t ::: Type -> sql_binary t t bool 556 val sql_eq : t ::: Type -> sql_binary t t bool
557 (* Note that the semantics of this operator on nullable types are different than for standard SQL!
558 * Instead, we do it the sane way, where [NULL = NULL]. *)
559
557 val sql_ne : t ::: Type -> sql_binary t t bool 560 val sql_ne : t ::: Type -> sql_binary t t bool
558 val sql_lt : t ::: Type -> sql_binary t t bool 561 val sql_lt : t ::: Type -> sql_binary t t bool
559 val sql_le : t ::: Type -> sql_binary t t bool 562 val sql_le : t ::: Type -> sql_binary t t bool
560 val sql_gt : t ::: Type -> sql_binary t t bool 563 val sql_gt : t ::: Type -> sql_binary t t bool
561 val sql_ge : t ::: Type -> sql_binary t t bool 564 val sql_ge : t ::: Type -> sql_binary t t bool