annotate tests/dynClassB.ur @ 2126:ec1614fb97bb

Change MonoReduce to do fixed-pointing, since it sometimes enables more optimizations for itself (e.g., yanking lambdas out of [case]s)
author Adam Chlipala <adam@chlipala.net>
date Fri, 06 Mar 2015 09:46:21 -0500
parents f89be9cd2087
children
rev   line source
adam@2121 1 style style1
adam@2121 2 style style2
adam@2121 3
adam@2121 4 fun main () : transaction page =
adam@2121 5 toggle <- source False;
adam@2121 6 return <xml>
adam@2121 7 <head>
adam@2121 8 <link rel="stylesheet" type="text/css" href="/style.css"/>
adam@2121 9 </head>
adam@2121 10 <body dynClass={b <- signal toggle;
adam@2121 11 return (if b then style1 else style2)}
adam@2121 12 dynStyle={b <- signal toggle;
adam@2121 13 return (if b then STYLE "margin: 100px" else STYLE "")}>
adam@2121 14 Body
adam@2121 15 <button onclick={fn _ => b <- get toggle; set toggle (not b)}>TOGGLE</button>
adam@2121 16 </body>
adam@2121 17 </xml>