summaryrefslogtreecommitdiff
path: root/src/mono_util.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/mono_util.sml')
-rw-r--r--src/mono_util.sml3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/mono_util.sml b/src/mono_util.sml
index 62a2dfe0..238f65d3 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
+ | DCookie _ => S.return2 dAll
| DStyle _ => S.return2 dAll
and mfvi ctx (x, n, t, e, s) =
@@ -556,6 +557,7 @@ fun mapfoldB (all as {bind, ...}) =
| DSequence _ => ctx
| DDatabase _ => ctx
| DJavaScript _ => ctx
+ | DCookie _ => ctx
| DStyle _ => ctx
in
S.map2 (mff ctx' ds',
@@ -606,6 +608,7 @@ val maxName = foldl (fn ((d, _) : decl, count) =>
| DSequence _ => count
| DDatabase _ => count
| DJavaScript _ => count
+ | DCookie _ => count
| DStyle _ => count) 0
end