From 30eeaff2c92fb1d0ba029a7688fc7b547a60c150 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 12 Apr 2009 10:08:11 -0400
Subject: style declarations

---
 src/mono_util.sml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index 485e64f6..62a2dfe0 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -474,6 +474,7 @@ fun mapfoldB {typ = fc, exp = fe, decl = fd, bind} =
               | DSequence _ => S.return2 dAll
               | DDatabase _ => S.return2 dAll
               | DJavaScript _ => S.return2 dAll
+              | DStyle _ => S.return2 dAll
 
         and mfvi ctx (x, n, t, e, s) =
             S.bind2 (mft t,
@@ -555,6 +556,7 @@ fun mapfoldB (all as {bind, ...}) =
                                       | DSequence _ => ctx
                                       | DDatabase _ => ctx
                                       | DJavaScript _ => ctx
+                                      | DStyle _ => ctx
                             in
                                 S.map2 (mff ctx' ds',
                                      fn ds' =>
@@ -603,7 +605,8 @@ val maxName = foldl (fn ((d, _) : decl, count) =>
                           | DTable _ => count
                           | DSequence _ => count
                           | DDatabase _ => count
-                          | DJavaScript _ => count) 0
+                          | DJavaScript _ => count
+                          | DStyle _ => count) 0
 
 end
 
-- 
cgit v1.2.3