Mercurial > urweb

comparison demo/cookie.ur @ 465:ddd363e856ff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookie prose; fix bugs that broke demo compilation
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 12:46:45 -0500
parents 91914c15a85b
children 93315ac00394
comparison
equal deleted inserted replaced
464:91914c15a85b 465:ddd363e856ff
4 setCookie c {A = r.A, B = readError r.B, C = readError r.C}; 4 setCookie c {A = r.A, B = readError r.B, C = readError r.C};
5 return <xml>Cookie set.</xml> 5 return <xml>Cookie set.</xml>
6 6
7 fun main () = 7 fun main () =
8 ro <- getCookie c; 8 ro <- getCookie c;
9 let 9 return <xml><body>
10 val xml = case ro of 10 {case ro of
11 None => <xml>No cookie set.</xml> 11 None => <xml>No cookie set.</xml>
12 | Some v => <xml>Cookie: A = {[v.A]}, B = {[v.B]}, C = {[v.C]}</xml> 12 | Some v => <xml>Cookie: A = {[v.A]}, B = {[v.B]}, C = {[v.C]}</xml>}
13 in 13 <br/><br/>
14 return <xml><body>
15 {xml}<br/><br/>
16 14
17 <form> 15 <form>
18 A: <textbox{#A}/><br/> 16 A: <textbox{#A}/><br/>
19 B: <textbox{#B}/><br/> 17 B: <textbox{#B}/><br/>
20 C: <textbox{#C}/><br/> 18 C: <textbox{#C}/><br/>
21 <submit action={set}/> 19 <submit action={set}/>
22 </form> 20 </form>
23 </body></xml> 21 </body></xml>
24 end
25
26