Mercurial > urweb

view tests/snest.ur @ 1233:8d1d2f7163c2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix problem with overly weak ambients for queries; fix known-related bug in assert for Dt1
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Apr 2010 10:40:55 -0400
parents 8932f855fa85
children
line wrap: on
line source
fun main () =
    s1 <- source False;
    s2 <- source False;

    return <xml><body>
      <dyn signal={s1 <- signal s1;
                   return (if s1 then
                               <xml><dyn signal={s2 <- signal s2;
                                                 return <xml>{[s2]}</xml>}/></xml>
                           else
                               <xml>Not yet</xml>)}/>
      <hr/>
      <button value="s1" onclick={set s1 True}/>
      <button value="s2" onclick={set s2 True}/>
   </body></xml>