From f5449b93792afc81e4da70d2a790ef7a2d2b49d5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 13 Dec 2009 14:20:41 -0500
Subject: Initializers and setval

---
 src/reduce.sml | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/reduce.sml')

diff --git a/src/reduce.sml b/src/reduce.sml
index 1310c7d0..cedb79fa 100644
--- a/src/reduce.sml
+++ b/src/reduce.sml
@@ -804,6 +804,15 @@ fun reduce file =
               | DDatabase _ => (d, st)
               | DCookie (s, n, c, s') => ((DCookie (s, n, con namedC [] c, s'), loc), st)
               | DStyle (s, n, s') => ((DStyle (s, n, s'), loc), st)
+              | DInitializer e =>
+                let
+                    val e = exp (namedC, namedE) [] e
+                in
+                    ((DInitializer e, loc),
+                     (polyC,
+                      namedC,
+                      namedE))
+                end
 
         val (file, _) = ListUtil.foldlMap doDecl (IS.empty, IM.empty, IM.empty) file
     in
-- 
cgit v1.2.3