Mercurial > urweb

diff lib/ur/basis.urs @ 1607:da788bd72c9e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add LIKE operator to SQL sublanguage.
author Karn Kallio <kkallio@eka>
date Wed, 23 Nov 2011 13:17:40 -0430
parents e44be6ece475
children 2b312f6d4007
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sun Nov 20 20:54:03 2011 -0500
+++ b/lib/ur/basis.urs	Wed Nov 23 13:17:40 2011 -0430
@@ -523,6 +523,8 @@
 val sql_gt : t ::: Type -> sql_binary t t bool
 val sql_ge : t ::: Type -> sql_binary t t bool
 
+val sql_like : sql_binary string string bool
+
 val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
                 -> sql_exp tables agg exps int