view tests/form3.ur @ 1525:a479947efbcd

Improve detection of XML in urweb-mode; small tutorial improvement
author Adam Chlipala <adam@chlipala.net>
date Tue, 02 Aug 2011 17:28:37 -0400
parents 71bafe66dbe1
children
line wrap: on
line source
val handler1 = fn r => <html><body>
        <li> Name: {cdata r.Nam}</li>
        <li> Word: {cdata r.Word}</li>
</body></html>

val handler2 = fn r => <html><body>
        <li> Name: {cdata r.Nam}</li>
        <li> Ward: {cdata r.Ward}</li>
</body></html>

val handler3 = fn r => <html><body>
        <li> Name: {cdata r.Nam}</li>
        <li> Ward: {cdata r.Ward}</li>
        <li> Words: {cdata r.Words}</li>
</body></html>

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

                <submit action={handler1}/>
        </lform>

        <lform>
                Name: <textbox{#Nam} /><br/>
                Word: <textbox{#Ward} /><br/>

                <submit action={handler2}/>
        </lform>

        <lform>
                Name: <textbox{#Nam} /><br/>
                Ward: <textbox{#Ward} /><br/>
                Words: <textbox{#Words} /><br/>

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