annotate tests/doubleDyn.ur @ 2044:42ae25a354f8

Retweak the last tweak to allow type inference to succeed in a strict superset of the places where it used to succeed
author Adam Chlipala <adam@chlipala.net>
date Tue, 29 Jul 2014 14:46:06 -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>