Mercurial > openid
comparison tests/utest.ur @ 63:089ad1d33e2f
Fix to track a change in Ur/Web's 'table' signature item syntactic sugar
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 06 Nov 2013 18:25:51 -0500 |
parents | 9f392276d614 |
children |
comparison
equal
deleted
inserted
replaced
62:77fa1fac2c7e | 63:089ad1d33e2f |
---|---|
31 val fakeId = None | 31 val fakeId = None |
32 | 32 |
33 structure CtlDisplay = OpenidUser.DefaultDisplay | 33 structure CtlDisplay = OpenidUser.DefaultDisplay |
34 end) | 34 end) |
35 | 35 |
36 fun wrap title body = | 36 fun wrap titl bod = |
37 userStuff <- U.main wrap; | 37 userStuff <- U.main wrap; |
38 return <xml><head> | 38 return <xml><head> |
39 <title>{[title]}</title> | 39 <title>{[titl]}</title> |
40 </head><body> | 40 </head><body> |
41 {userStuff.Status}<br/> | 41 {userStuff.Status}<br/> |
42 {userStuff.Other.Xml} | 42 {userStuff.Other.Xml} |
43 | 43 |
44 <h1>{[title]}</h1> | 44 <h1>{[titl]}</h1> |
45 | 45 |
46 {body} | 46 {bod} |
47 </body></xml> | 47 </body></xml> |
48 | 48 |
49 fun main () = | 49 fun main () = |
50 whoami <- U.current; | 50 whoami <- U.current; |
51 wrap "Main page" (case whoami of | 51 wrap "Main page" (case whoami of |