summaryrefslogtreecommitdiff
path: root/tests/badInline.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-08-05 14:55:28 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-08-05 14:55:28 -0400
commitad5056f7acfe0693bfcb5da50b0c0d2f9d139d69 (patch)
treec217e3b41064c05350e4526311f35c3c695a21f1 /tests/badInline.ur
parent0e12040f61df1ff84dfbe81d31667ecfb34ca1ba (diff)
Tweaking treatment of function application: substitute or introduce a 'let'?
Diffstat (limited to 'tests/badInline.ur')
-rw-r--r--tests/badInline.ur12
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/badInline.ur b/tests/badInline.ur
new file mode 100644
index 00000000..bfbdba79
--- /dev/null
+++ b/tests/badInline.ur
@@ -0,0 +1,12 @@
+style s1
+style s2
+style s3
+
+fun ifClass r cls c = if r then classes cls c else c
+
+fun main (n : int) : transaction page = return <xml><body>
+ <p class={ifClass (n = 0) s1
+ (ifClass (n = 1) s2
+ (ifClass (n = 2) s3
+ null))}>Hi</p>
+</body></xml>