annotate tests/label.ur @ 1888:5f478ecf65e4
Identify more local definitions as functions that should be lifted to the top level, which has synergistic effects on inlining later
author |
Adam Chlipala <adam@chlipala.net> |
date |
Tue, 05 Nov 2013 11:58:52 -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>
|