Mercurial > urweb
annotate tests/doubleDyn.ur @ 2195:18e6fb487880
Reduce: add reduction in some spots previously missed, associated with 'case' return types
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 25 Nov 2015 18:48:17 -0500 |
| 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> |