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