summaryrefslogtreecommitdiff
path: root/tests/badInline.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-08-05 17:11:39 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-08-05 17:11:39 -0400
commitf658365e76265f7d990297c6615aa1ca90746017 (patch)
tree4eb88399853e78a069ac98f8a70f8658184b801f /tests/badInline.ur
parenteca19ded03603dd3cb51ee403cb41f44f2f05edb (diff)
Revert last changeset for now; needs more thought
Diffstat (limited to 'tests/badInline.ur')
-rw-r--r--tests/badInline.ur12
1 files changed, 0 insertions, 12 deletions
diff --git a/tests/badInline.ur b/tests/badInline.ur
deleted file mode 100644
index bfbdba79..00000000
--- a/tests/badInline.ur
+++ /dev/null
@@ -1,12 +0,0 @@
-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>