Mercurial > openid
diff src/ur/openid.ur @ 2:b757dc2bd2f6
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/openid.ur Sun Dec 26 13:10:36 2010 -0500 +++ b/src/ur/openid.ur Sun Dec 26 13:28:06 2010 -0500 @@ -1,3 +1,6 @@ task initialize = fn () => OpenidFfi.init -val discover = OpenidFfi.discover +fun discover s = + r <- OpenidFfi.discover s; + return (Option.mp (fn r => {Endpoint = OpenidFfi.endpoint r, + LocalId = OpenidFfi.localId r}) r)