view tests/nextid.ur @ 1975:0ee44375fe64

Rename datetime type to t in the .urs file.
author Patrick Hurst <phurst@mit.edu>
date Sun, 08 Dec 2013 03:25:31 -0500
parents e1f5d9c4cc20
children
line wrap: on
line source
fun main () : transaction page =
    id1 <- fresh;
    id2 <- fresh;
    id3 <- fresh;
    idS <- source id3;
    return <xml><body>
      <span id={id1}>Hi</span> <span id={id2}>there!</span><br/><br/>
      <dyn signal={idS <- signal idS; return <xml><span id={idS}>Whoa-hoa!</span></xml>}/>
      <button onclick={id <- fresh; set idS id}/>
      Source: <dyn signal={idS <- signal idS; return (txt (<xml><span id={idS}>Whoa-hoa!</span></xml> : xbody))}/>
    </body></xml>