annotate tests/both2.ur @ 1433:66092ce45a76

Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat carriage returns at line ends in .urp files
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Mar 2011 20:22:03 -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