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 | 5e95ccda9544c96b519d2cf6b32967f4b1ef990a (patch) | |
| tree | 199cf905309f9068ba5eb6d2e395a8f12f403343 /demo/cookie.ur | |
| parent | 6e41a0ca24381fa5545fe82004275e661dd8dd6e (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> |