diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-06 12:46:45 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-06 12:46:45 -0500 |
| commit | 24777c2dc9b6ea0f3db24ae372be2af0c3f70602 (patch) | |
| tree | 199cf905309f9068ba5eb6d2e395a8f12f403343 /demo/cookie.ur | |
| parent | 6c3a51281f4140589e1b7dfb01b17b6ee38cb4bc (diff) | |
Cookie prose; fix bugs that broke demo compilation
Diffstat (limited to 'demo/cookie.ur')
| -rw-r--r-- | demo/cookie.ur | 29 |
1 files changed, 12 insertions, 17 deletions
diff --git a/demo/cookie.ur b/demo/cookie.ur index 02f4cab5..ad4e19ec 100644 --- a/demo/cookie.ur +++ b/demo/cookie.ur @@ -6,21 +6,16 @@ fun set r = fun main () = ro <- getCookie c; - let - val xml = case ro of - None => <xml>No cookie set.</xml> - | Some v => <xml>Cookie: A = {[v.A]}, B = {[v.B]}, C = {[v.C]}</xml> - in - return <xml><body> - {xml}<br/><br/> - - <form> - A: <textbox{#A}/><br/> - B: <textbox{#B}/><br/> - C: <textbox{#C}/><br/> - <submit action={set}/> - </form> - </body></xml> - end - + return <xml><body> + {case ro of + None => <xml>No cookie set.</xml> + | Some v => <xml>Cookie: A = {[v.A]}, B = {[v.B]}, C = {[v.C]}</xml>} + <br/><br/> + <form> + A: <textbox{#A}/><br/> + B: <textbox{#B}/><br/> + C: <textbox{#C}/><br/> + <submit action={set}/> + </form> + </body></xml> |