Mercurial > openid
diff 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 diff
--- a/tests/test.ur Sun Dec 26 13:10:36 2010 -0500 +++ b/tests/test.ur Sun Dec 26 13:28:06 2010 -0500 @@ -1,8 +1,11 @@ fun discover r = - code <- Openid.discover r.Id; - return <xml><body> - Code: {[code]} - </body></xml> + 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>