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}/>