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)