diff tests/test.ur @ 1:c230e6da3ff6

Discovered LiveJournal endpoint
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 13:10:36 -0500
parents 3c209338e596
children b757dc2bd2f6
line wrap: on
line diff
--- a/tests/test.ur	Sun Dec 26 12:04:08 2010 -0500
+++ b/tests/test.ur	Sun Dec 26 13:10:36 2010 -0500
@@ -1,1 +1,12 @@
-fun main () = return <xml/>
+fun discover r =
+    code <- Openid.discover r.Id;
+    return <xml><body>
+      Code: {[code]}
+    </body></xml>
+
+fun main () = return <xml><body>
+  <form>
+    <textbox{#Id}/>
+    <submit action={discover}/>
+  </form>
+</body></xml>