Mercurial > openid

diff src/ur/openidFfi.urs @ 2:b757dc2bd2f6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Discovery returns a record
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 13:28:06 -0500
parents c230e6da3ff6
children f59083771ee2
line wrap: on
line diff
--- a/src/ur/openidFfi.urs	Sun Dec 26 13:10:36 2010 -0500
+++ b/src/ur/openidFfi.urs	Sun Dec 26 13:28:06 2010 -0500
@@ -1,2 +1,6 @@
 val init : transaction {}
-val discover : string -> transaction (option string)
+
+type discovery
+val discover : string -> transaction (option discovery)
+val endpoint : discovery -> string
+val localId : discovery -> option string