From 067c8d9d0e11ee60eed428a9f8472c2e1e6edff0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Wed, 22 Aug 2012 08:46:32 -0400
Subject: show_sql_query

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

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

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 4777be81..1bfd9da6 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -641,6 +641,9 @@ val query : tables ::: {{Type}} -> exps ::: {Type}
                   -> state
                   -> transaction state
 
+val show_sql_query : freeTables ::: {{Type}} -> freeAggs ::: {{Type}} -> tables ::: {{Type}} -> exps ::: {Type}
+                     -> show (sql_query freeTables freeAggs tables exps)
+
 
 (*** Database mutators *)
 
-- 
cgit v1.2.3