Mercurial > openid
annotate tests/test.ur @ 64:81632203928f
Fix 'hidden' constraint
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 11 Dec 2013 17:11:32 -0500 |
| parents | f6b3fbf10dac |
| children |
| rev | line source |
|---|---|
| adam@10 | 1 fun afterward r = return <xml><body> |
| adam@10 | 2 {case r of |
| adam@10 | 3 Openid.Canceled => <xml>You canceled that sucker.</xml> |
| adam@10 | 4 | Openid.Failure s => error <xml>OpenID failure: {[s]}</xml> |
| adam@10 | 5 | Openid.AuthenticatedAs id => <xml>I now know you as <tt>{[id]}</tt>.</xml>} |
| adam@10 | 6 </body></xml> |
| adam@10 | 7 |
| adam@4 | 8 fun auth r = |
| adam@10 | 9 msg <- Openid.authenticate afterward |
| adam@15 | 10 {Association = Openid.Stateful {AssociationType = Openid.HMAC_SHA256, |
| adam@15 | 11 AssociationSessionType = Openid.NoEncryption}, |
| adam@39 | 12 Identifier = Openid.KnownIdentifier r.Id, |
| adam@15 | 13 Realm = Some "http://localhost:8080/"}; |
| adam@4 | 14 error <xml>{[msg]}</xml> |
| adam@1 | 15 |
| adam@1 | 16 fun main () = return <xml><body> |
| adam@1 | 17 <form> |
| adam@1 | 18 <textbox{#Id}/> |
| adam@4 | 19 <submit action={auth}/> |
| adam@1 | 20 </form> |
| adam@1 | 21 </body></xml> |