Mercurial > openid
view tests/test.ur @ 3:f59083771ee2
Saving associations
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 26 Dec 2010 15:11:23 -0500 |
parents | b757dc2bd2f6 |
children | 2d409aff8800 |
line wrap: on
line source
fun discover r = dy <- Openid.discover r.Id; case dy of None => return <xml>No dice</xml> | Some dy => os <- Openid.association dy.Endpoint; case os of Openid.Error s => error <xml>{[s]}</xml> | Openid.Handle s => return <xml>{[s]}</xml> fun main () = return <xml><body> <form> <textbox{#Id}/> <submit action={discover}/> </form> </body></xml>