view tests/nextid.ur @ 1832:373e2c3f03b2

Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a test case for it
author Adam Chlipala <adam@chlipala.net>
date Wed, 28 Nov 2012 11:45:46 -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>