Mercurial > urweb

diff lib/ur/basis.urs @ 1810:b8558b613abd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
show_sql_query
author Adam Chlipala <adam@chlipala.net>
date Wed, 22 Aug 2012 08:46:32 -0400
parents 3d922a28370b
children 36428d853c97
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Aug 18 13:57:48 2012 -0400
+++ b/lib/ur/basis.urs	Wed Aug 22 08:46:32 2012 -0400
@@ -641,6 +641,9 @@
                   -> state
                   -> transaction state
 
+val show_sql_query : freeTables ::: {{Type}} -> freeAggs ::: {{Type}} -> tables ::: {{Type}} -> exps ::: {Type}
+                     -> show (sql_query freeTables freeAggs tables exps)
+
 
 (*** Database mutators *)