From 04dd6b3727c7786a4824897e78b0b2982ecd6f5b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 28 Apr 2009 10:11:56 -0400
Subject: INNER JOIN

---
 lib/ur/basis.urs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'lib/ur/basis.urs')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index c6ba7b2c..a81ba30a 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -229,6 +229,11 @@ val sql_from_comma : tabs1 ::: {{Type}} -> tabs2 ::: {{Type}}
                      -> [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}}
-- 
cgit v1.2.3