Mercurial > urweb

diff lib/ur/basis.urs @ 1929:f792a6544093

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add show instance for 'id' type
author Sergey Mironov <grrwlf@gmail.com>
date Mon, 07 Oct 2013 14:08:10 +0400
parents 44f607a7f4cd
children 81bc76aa4acd
line wrap: on
line diff
--- a/lib/ur/basis.urs	Mon Dec 09 17:25:53 2013 -0500
+++ b/lib/ur/basis.urs	Mon Oct 07 14:08:10 2013 +0400
@@ -775,6 +775,7 @@
 type id
 val fresh : transaction id
 val giveFocus : id -> transaction unit
+val show_id : show id
 
 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit
           -> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind