annotate tests/doubleDyn.ur @ 2257:28a541bd2d23

Use referenced (rather than all) free variables as keys for pure caches.
author Ziv Scully <ziv@mit.edu>
date Sun, 27 Sep 2015 14:46:12 -0400
parents d05299e561c8
children
rev   line source
adam@1678 1 style linktitle
adam@1678 2 style topic
adam@1678 3
adam@1678 4 fun main () : transaction page =
adam@1678 5 text <- source "Lorem ipsum dolor sit amet";
adam@1678 6 cls <- source linktitle;
adam@1678 7 return <xml>
adam@1678 8 <head>
adam@1678 9 <title>Dynamic CSS class test</title>
adam@1678 10 <link href="http://adam.chlipala.net/style.css" rel="stylesheet" type="text/css" media="all"/>
adam@1678 11 </head>
adam@1678 12 <body>
adam@1678 13 <dyn signal={t <- signal text;
adam@1678 14 return <xml><div dynClass={signal cls}>{[t]}</div></xml>}/>
adam@1678 15 <div dynClass={signal cls}>
adam@1678 16 <dyn signal={t <- signal text; return (txt t)}/>
adam@1678 17 </div>
adam@1678 18 <button value="Style1" onclick={set cls linktitle}/>
adam@1678 19 <button value="Style2" onclick={set cls topic}/>
adam@1678 20 <ctextbox source={text}/>
adam@1678 21 </body>
adam@1678 22 </xml>