Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/demo/cookie.ur Thu Nov 06 12:22:50 2008 -0500 +++ b/demo/cookie.ur Thu Nov 06 12:46:45 2008 -0500 @@ -6,21 +6,16 @@ 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/> + 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> - end - - + <form> + A: <textbox{#A}/><br/> + B: <textbox{#B}/><br/> + C: <textbox{#C}/><br/> + <submit action={set}/> + </form> + </body></xml>