comparison tests/badInline.ur @ 1819:c9c38157d0d3

Merge
author Adam Chlipala <adam@chlipala.net>
date Fri, 14 Sep 2012 06:44:14 -0400
parents 62c18ecbfec4
children
comparison
equal deleted inserted replaced
1818:e6ff36097cc4 1819:c9c38157d0d3
1 style s1
2 style s2
3 style s3
4
5 fun ifClass r cls c = if r then classes cls c else c
6
7 fun main (n : int) : transaction page = return <xml><body>
8 <p class={ifClass (n = 0) s1
9 (ifClass (n = 1) s2
10 (ifClass (n = 2) s3
11 null))}>Hi</p>
12 </body></xml>