view tests/event.ur @ 1886:b7cd3c7c7edd

Interpret 'table' signature items more flexibly, automatically adding (Ur) constraints to support a kind of subtyping over (SQL) constraint sets
author Adam Chlipala <adam@chlipala.net>
date Mon, 04 Nov 2013 15:14:23 -0500
parents ae9e22822ec5
children
line wrap: on
line source
fun main () =
    s <- source "";
    return <xml><body onresize={set s "Resize"}>
      <button onblur={set s "Blur 1"} onfocus={set s "Focus 1"} onclick={set s "Click 1"}/>
      <button onblur={set s "Blur 2"} onfocus={set s "Focus 2"} onclick={set s "Click 2"}/>
      <span onclick={set s "Click"} ondblclick={set s "Double-click"}>SPAN</span>
      <span onmousedown={set s "Mouse down"} onmouseup={set s "Mouse up"}>SPAN</span>
      <span onmouseout={set s "Mouse out"} onmouseover={set s "Mouse over"}>SPAN</span>
      <span onmousemove={set s "Mouse move"}>SPAN</span>
      <button onkeydown={fn k => set s ("Key down: " ^ show k)} onkeyup={fn _ => set s "Key up"}/>
      <button onkeypress={fn _ => set s "Key press"}/>
      <br/>
      <br/>

      <dyn signal={s <- signal s; return <xml>{[s]}</xml>}/>
    </body></xml>