Mercurial > urweb
comparison demo/cookie.ur @ 465:ddd363e856ff
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 |