Mercurial > urweb

diff lib/ur/basis.urs @ 749:16bfd9e244cd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
INNER JOIN
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 10:11:56 -0400
parents 5f9b9972e6b8
children 059074c8d2fc
line wrap: on
line diff
--- a/lib/ur/basis.urs	Tue Apr 28 09:45:17 2009 -0400
+++ b/lib/ur/basis.urs	Tue Apr 28 10:11:56 2009 -0400
@@ -229,6 +229,11 @@
                      -> [tabs1 ~ tabs2]
     => sql_from_items tabs1 -> sql_from_items tabs2
        -> sql_from_items (tabs1 ++ tabs2)
+val sql_inner_join : tabs1 ::: {{Type}} -> tabs2 ::: {{Type}}
+                     -> [tabs1 ~ tabs2]
+    => sql_from_items tabs1 -> sql_from_items tabs2
+       -> sql_exp (tabs1 ++ tabs2) [] [] bool
+       -> sql_from_items (tabs1 ++ tabs2)
 
 val sql_query1 : tables ::: {{Type}}
                  -> grouped ::: {{Type}}