view 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 source
fun discover r =
    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>
    <textbox{#Id}/>
    <submit action={discover}/>
  </form>
</body></xml>