From f658365e76265f7d990297c6615aa1ca90746017 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 5 Aug 2012 17:11:39 -0400 Subject: Revert last changeset for now; needs more thought --- tests/badInline.ur | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 tests/badInline.ur (limited to 'tests/badInline.ur') 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 -

- -- cgit v1.2.3