From bc3d86e857b3b5884aba5b61d7bedb40e76e6616 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 8 Jun 2008 17:15:09 -0400
Subject: Tree-shaking

---
 tests/reduce.lac | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tests/reduce.lac')

diff --git a/tests/reduce.lac b/tests/reduce.lac
index 9cdc2a1a..f292a294 100644
--- a/tests/reduce.lac
+++ b/tests/reduce.lac
@@ -23,3 +23,5 @@ val grab = fn n :: Name => fn t ::: Type => fn fs ::: {Type} =>
         fn x : $([n = t] ++ fs) => x.n
 val test_grab1 = grab[#A] {A = 6, B = "13"}
 val test_grab2 = grab[#B] {A = 6, B = "13"}
+
+val main = {A = test_grab1, B = test_grab2}
-- 
cgit v1.2.3