view tests/ctextboxAttrs.ur @ 2195:18e6fb487880

Reduce: add reduction in some spots previously missed, associated with 'case' return types
author Adam Chlipala <adam@chlipala.net>
date Wed, 25 Nov 2015 18:48:17 -0500
parents 2e01a36701eb
children
line wrap: on
line source
fun main () : transaction page =
    s <- source "Initial";
    return <xml><body>
      <ctextbox source={s} onclick={fn ev => alert ("Clicky " ^ show ev.ScreenX)}
                           onkeypress={fn ev => alert ("Code " ^ show ev.KeyCode)}/>
    </body></xml>