--- a/togglePanel.urs	Sat Sep 24 15:47:00 2011 -0400
+++ b/togglePanel.urs	Sat Sep 24 17:35:33 2011 -0400
@@ -7,7 +7,9 @@
  * are as for [Gui.gui]. *)
 
 con formatCtl = fn ctx :: {Unit} => [body ~ ctx] =>
-                   {FormatPanel : xbody -> xbody -> xml (body ++ ctx) [] [],
+                   {FormatPanel : xml (body ++ ctx) [] []
+                                  -> xml (body ++ ctx) [] []
+                                  -> xml (body ++ ctx) [] [],
                     (* Allows for formatting the panel.  The first two parameters
                      * represent "holes" for the control and panel respectively while
                      * the result should be the desired XML laying out the whole structure.
@@ -15,11 +17,11 @@
                      * The panel part appears and disappears according to the use
                      * of the controls. *)
                   
-                    OpenCtl : transaction unit -> xbody,
+                    OpenCtl : transaction unit -> xml (body ++ ctx) [] [],
                     (* This should accept the transaction representing the opening of
                      * the panel and produce an XML control having this as action. *)
 
-                    CloseCtl : transaction unit -> xbody}
+                    CloseCtl : transaction unit -> xml (body ++ ctx) [] []}
                     (* This should accept the transaction representing the closing of
                      * the panel and produce an xml control having this as action. *)