Mercurial > urweb
annotate tests/dynClass.ur @ 1717:16ee7ff7f119
Avoid kindof failures in elaboration
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 21 Apr 2012 13:57:10 -0400 |
| parents | b0720700c36e |
| children | acadf9d1214a |
| rev | line source |
|---|---|
| adam@1643 | 1 style s1 |
| adam@1643 | 2 style s2 |
| adam@1643 | 3 |
| adam@1643 | 4 fun main () : transaction page = |
| adam@1643 | 5 src <- source s1; |
| adam@1643 | 6 s <- source ""; |
| adam@1643 | 7 toggle <- source False; |
| adam@1643 | 8 return <xml> |
| adam@1643 | 9 <head> |
| adam@1643 | 10 <link rel="stylesheet" type="text/css" href="http://localhost/test.css"/> |
| adam@1643 | 11 </head> |
| adam@1643 | 12 <body> |
| adam@1643 | 13 <button dynClass={signal src} onclick={set src s2}/> |
| adam@1643 | 14 |
| adam@1643 | 15 <hr/> |
| adam@1643 | 16 |
| adam@1643 | 17 <ctextbox source={s} dynClass={t <- signal toggle; |
| adam@1643 | 18 return (if t then s1 else s2)} |
| adam@1643 | 19 onkeyup={fn _ => t <- get toggle; set toggle (not t)}/> |
| adam@1643 | 20 </body> |
| adam@1643 | 21 </xml> |