annotate tests/label.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 |
609ab3947a08 |
| children |
|
| rev |
line source |
|
adamc@1047
|
1 fun main () = return <xml><body>
|
|
adamc@1047
|
2 <ccheckbox id="A"/> <label for="A">First one</label><br/>
|
|
adamc@1047
|
3 <ccheckbox id="B"/> <label for="B">Second one</label><br/>
|
|
adamc@1047
|
4 </body></xml>
|
