view tests/snest.ur @ 1803:d2383ffc18ab

Back out last change and pursue a different fix, based on explicitly aborting script execution at times when we don't expect scripts to run
author Adam Chlipala <adam@chlipala.net>
date Fri, 03 Aug 2012 12:39:04 -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>