diff tests/test.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/tests/test.ur	Sun Dec 26 13:10:36 2010 -0500
+++ b/tests/test.ur	Sun Dec 26 13:28:06 2010 -0500
@@ -1,8 +1,11 @@
 fun discover r =
-    code <- Openid.discover r.Id;
-    return <xml><body>
-      Code: {[code]}
-    </body></xml>
+    dy <- Openid.discover r.Id;
+    case dy of
+        None => return <xml>No dice</xml>
+      | Some dy => return <xml><body>
+        Endpoint: {[dy.Endpoint]}<br/>
+        Local ID: {[dy.LocalId]}<br/>
+      </body></xml>
 
 fun main () = return <xml><body>
   <form>