From ad5056f7acfe0693bfcb5da50b0c0d2f9d139d69 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 5 Aug 2012 14:55:28 -0400 Subject: Tweaking treatment of function application: substitute or introduce a 'let'? --- tests/badInline.ur | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 tests/badInline.ur (limited to 'tests/badInline.ur') 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 +

+ -- cgit v1.2.3