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

show_sql_query
author Adam Chlipala <adam@chlipala.net>
date Wed, 22 Aug 2012 08:46:32 -0400
parents 3d922a28370b
children 36428d853c97
comparison
equal deleted inserted replaced
1809:b8fa7441e637 1810:b8558b613abd
638 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) 638 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables)
639 -> state 639 -> state
640 -> transaction state) 640 -> transaction state)
641 -> state 641 -> state
642 -> transaction state 642 -> transaction state
643
644 val show_sql_query : freeTables ::: {{Type}} -> freeAggs ::: {{Type}} -> tables ::: {{Type}} -> exps ::: {Type}
645 -> show (sql_query freeTables freeAggs tables exps)
643 646
644 647
645 (*** Database mutators *) 648 (*** Database mutators *)
646 649
647 type dml 650 type dml