view tests/textarea.ur @ 2109:f42fea631c1d

Improve wildification for records of type-class witnesses
author Adam Chlipala <adam@chlipala.net>
date Wed, 28 Jan 2015 08:47:04 -0500
parents 71bafe66dbe1
children
line wrap: on
line source
val handler = fn x => <html><body>
        You entered: {cdata x.A}
</body></html>

val main = fn () => <html><body>
        <lform>
                <ltextarea{#A}/>
                <submit action={handler}/>
        </lform>
</body></html>