Ur/Web: tests/css.ur annotate

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	277480862cef
children

rev	line source
adam@1292	1 style st1
adam@1292	2 style st2
adam@1749	3 style st_3
adam@1292	4
adam@1292	5 fun main () = return <xml><body>
adam@1292	6 <span title="Whoa" class={classes st1 st2}>Hi!</span>
adam@1749	7 <span class="st-3 st2">Bye!</span>
adam@1749	8 <span class="st1">Appendix!</span>
adam@1749	9 <span class="">Sequel!</span>
adam@1750	10
adam@1750	11 <span style="width: 30%">A</span>
adam@1750	12 <span class="st-3" style="color: blue red">B</span>
adam@1750	13 <span style="background: url(http://www.google.com/image.png)">C</span>
adam@1750	14 <span style="background: url('http://www.google.com/image.png') red 10% 66px">D</span>
adam@1750	15 <span style="color: red; width: 90 green; background: url(http://www.google.com/foo.jpg);">C</span>
adam@1292	16 </body></xml>

Mercurial > urweb