Mercurial > gui

diff calendar.urs @ 18:16447dc6a68c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Introduction of multi-parameter type class for gui components
author Ron de Bruijn <rmbruijn@gmail.com>
date Thu, 22 Sep 2011 19:24:01 +0200
parents 8300d5f0dc19
children 554e342665fe
line wrap: on
line diff
--- a/calendar.urs	Sun Aug 21 11:27:41 2011 -0400
+++ b/calendar.urs	Thu Sep 22 19:24:01 2011 +0200
@@ -20,7 +20,7 @@
 val value : t -> signal date
 (* Read the date of the calendar. *)
 
-val gui_t : Gui.gui t
+val gui_t : Gui.gui t xbody
 (* Witness that this is a gui widget. *)
 
 val create : time -> transaction t