Mercurial > urweb

view tests/snest.ur @ 1887:2e6795cc992f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A fancier test for the new SQL constraints subtyping
author Adam Chlipala <adam@chlipala.net>
date Mon, 04 Nov 2013 16:00:48 -0500
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>