annotate tests/both2.ur @ 1108:82ac88b4e0a7

Proper client-side attrifyString
author Adam Chlipala <adamc@hcoop.net>
date Fri, 01 Jan 2010 10:49:36 -0500
parents a5eb8f87bc17
children
rev   line source
adamc@1046 1 fun main () : transaction page =
adamc@1046 2 let
adamc@1046 3 fun submit r = return <xml/>
adamc@1046 4 in
adamc@1046 5 return <xml>
adamc@1046 6 <body>
adamc@1046 7 <form>
adamc@1046 8 <textbox{#Text}/><submit action={submit}/>
adamc@1046 9 </form>
adamc@1046 10 </body>
adamc@1046 11 </xml>
adamc@1046 12 end
adamc@1046 13
adamc@1046 14