Mercurial > openid
comparison 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 |
comparison
equal
deleted
inserted
replaced
1:c230e6da3ff6 | 2:b757dc2bd2f6 |
---|---|
1 fun discover r = | 1 fun discover r = |
2 code <- Openid.discover r.Id; | 2 dy <- Openid.discover r.Id; |
3 return <xml><body> | 3 case dy of |
4 Code: {[code]} | 4 None => return <xml>No dice</xml> |
5 </body></xml> | 5 | Some dy => return <xml><body> |
6 Endpoint: {[dy.Endpoint]}<br/> | |
7 Local ID: {[dy.LocalId]}<br/> | |
8 </body></xml> | |
6 | 9 |
7 fun main () = return <xml><body> | 10 fun main () = return <xml><body> |
8 <form> | 11 <form> |
9 <textbox{#Id}/> | 12 <textbox{#Id}/> |
10 <submit action={discover}/> | 13 <submit action={discover}/> |