comparison tests/badInline.ur @ 1817:148203744882

Tweaking treatment of function application: substitute or introduce a 'let'?
author Adam Chlipala <adam@chlipala.net>
date Sun, 05 Aug 2012 14:55:28 -0400
parents 62c18ecbfec4
children
comparison
equal deleted inserted replaced
1816:ae8b0e05522a 1817:148203744882
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>