view tests/form.ur @ 2184:1ecef02f67c5

More Elaborate work to avoid instantiating unification variables with out-of-scope regular variables
author Adam Chlipala <adam@chlipala.net>
date Sat, 24 Oct 2015 17:23:07 -0400
parents 71bafe66dbe1
children
line wrap: on
line source
val handler = fn r => <html><body>
        <li> Name: {cdata r.Nam}</li>
        <li> Word: {cdata r.Word}</li>
</body></html>

val main : unit -> page = fn () => <html><body>
        <lform>
                Name: <textbox{#Nam} /><br/>
                Word: <textbox{#Word} /><br/>

                <submit action={handler}/>
        </lform>
</body></html>