view tests/select.ur @ 1942:a671e5258a2c

Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCs
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Dec 2013 12:10:03 -0500
parents fe018cbdd41e
children
line wrap: on
line source
val handler = fn x => <xml><body>
        You entered: {cdata x.A}
</body></xml>

val main = fn () => <xml><body>
        <form>
                <select{#A}>
                        <option value="A">A</option>
                        <option value="B">B</option>
                </select>
                <submit action={handler}/>
        </form>
</body></xml>