Mercurial > openid

diff src/ur/openidUser.urs @ 32:90b8ce9be9f5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change some field names and update utest
author Adam Chlipala <adam@chlipala.net>
date Thu, 21 Apr 2011 13:24:55 -0400
parents 1be573ac8e2b
children df258dbf4739
line wrap: on
line diff
--- a/src/ur/openidUser.urs	Mon Apr 18 01:20:39 2011 -0430
+++ b/src/ur/openidUser.urs	Thu Apr 21 13:24:55 2011 -0400
@@ -67,9 +67,14 @@
                   * identifier, which can be useful during development (say,
                   * when you're off-network). *)
                   
-                 val ctlDisplay : {User : {Status : xbody, Other : xbody},
-                                   Guest : {Status : xbody, Other : xbody}}
-                 (* These help formatting the user status controls *)
+                 val ctlDisplay : {User : {Status : xbody,
+                                           (* Anything extra to display to represent the logged-in user's status *)
+                                           Logout : xbody
+                                           (* Text for link to log out *)},
+                                   Guest : {Status : xbody,
+                                            (* What to show in the place where a logged-in user's status would be *)
+                                            Signup : xbody
+                                            (* Text for link to sign up *)}}
              end) : sig
 
     type user