From 813e9aa4d196962f47c784aeedeaf1cddf54dc4f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 8 Jun 2008 16:02:26 -0400
Subject: Beta reductions for expressions

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

(limited to 'tests')

diff --git a/tests/reduce.lac b/tests/reduce.lac
index a6fa1e94..2585862d 100644
--- a/tests/reduce.lac
+++ b/tests/reduce.lac
@@ -17,3 +17,4 @@ con c7 = apply (fst int) string
 val grab = fn n :: Name => fn t :: Type => fn fs :: {Type} =>
         fn x : $([n = t] ++ fs) => x
 val grabA = grab[#A][int][[B = string]]
+val test_grabA = grabA {A = 6, B = "13"}
-- 
cgit v1.2.3