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>