view tests/pass.ur @ 1248:cf9a636f9b15

Avoid state space explosion with ECase that just writes a constant in each case
author Adam Chlipala <adamc@hcoop.net>
date Sun, 18 Apr 2010 20:06:15 -0400
parents 71bafe66dbe1
children
line wrap: on
line source
val handler = fn r => <html><body>
        <li> Name: {cdata r.Nam}</li>
        <li> Password: {cdata r.Word}</li>
</body></html>

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

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