Mercurial > openid

comparison 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
comparison
equal deleted inserted replaced
31:1be573ac8e2b 32:90b8ce9be9f5
65 val fakeId : option string 65 val fakeId : option string
66 (* If set, this string is always accepted as a verified 66 (* If set, this string is always accepted as a verified
67 * identifier, which can be useful during development (say, 67 * identifier, which can be useful during development (say,
68 * when you're off-network). *) 68 * when you're off-network). *)
69 69
70 val ctlDisplay : {User : {Status : xbody, Other : xbody}, 70 val ctlDisplay : {User : {Status : xbody,
71 Guest : {Status : xbody, Other : xbody}} 71 (* Anything extra to display to represent the logged-in user's status *)
72 (* These help formatting the user status controls *) 72 Logout : xbody
73 (* Text for link to log out *)},
74 Guest : {Status : xbody,
75 (* What to show in the place where a logged-in user's status would be *)
76 Signup : xbody
77 (* Text for link to sign up *)}}
73 end) : sig 78 end) : sig
74 79
75 type user 80 type user
76 val eq_user : eq user 81 val eq_user : eq user
77 val show_user : show user 82 val show_user : show user