annotate tests/both2.ur @ 1652:1c8456f0cf8c

Undo change to dyn() in runtime system
author Adam Chlipala <adam@chlipala.net>
date Sat, 31 Dec 2011 15:24:44 -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