Mercurial > openid
annotate 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 |
| rev | line source |
|---|---|
| adam@1 | 1 fun discover r = |
| adam@2 | 2 dy <- Openid.discover r.Id; |
| adam@2 | 3 case dy of |
| adam@2 | 4 None => return <xml>No dice</xml> |
| adam@2 | 5 | Some dy => return <xml><body> |
| adam@2 | 6 Endpoint: {[dy.Endpoint]}<br/> |
| adam@2 | 7 Local ID: {[dy.LocalId]}<br/> |
| adam@2 | 8 </body></xml> |
| adam@1 | 9 |
| adam@1 | 10 fun main () = return <xml><body> |
| adam@1 | 11 <form> |
| adam@1 | 12 <textbox{#Id}/> |
| adam@1 | 13 <submit action={discover}/> |
| adam@1 | 14 </form> |
| adam@1 | 15 </body></xml> |