diff src/ur/openid.urs @ 4:2d409aff8800

Received an OpenID authentication response, but haven't checked it yet
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 17:19:52 -0500
parents f59083771ee2
children 870d99055dd1
line wrap: on
line diff
--- a/src/ur/openid.urs	Sun Dec 26 15:11:23 2010 -0500
+++ b/src/ur/openid.urs	Sun Dec 26 17:19:52 2010 -0500
@@ -1,4 +1,3 @@
-val discover : string -> transaction (option {Endpoint : string, LocalId : option string})
-
-datatype association = Handle of string | Error of string
-val association : string -> transaction association
+val authenticate : string -> transaction string
+(* Doesn't return normally if everything goes as planned.
+ * Instead, the user is redirected to his OP to authenticate there. *)