summaryrefslogtreecommitdiff
path: root/src/elab_util.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-04-04 12:29:34 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-04-04 12:29:34 -0400
commit6a326e3bb3eb16e04f3cca082f0dd67278e85785 (patch)
tree37d9f6d28314bc020e87c05ec9e7826b5e647d44 /src/elab_util.sml
parent9615454c1218330fc2cdfa6b72af53400fa2b2c4 (diff)
Pushing policies through
Diffstat (limited to 'src/elab_util.sml')
-rw-r--r--src/elab_util.sml8
1 files changed, 7 insertions, 1 deletions
diff --git a/src/elab_util.sml b/src/elab_util.sml
index d0e140c5..8345e3f3 100644
--- a/src/elab_util.sml
+++ b/src/elab_util.sml
@@ -854,7 +854,8 @@ fun mapfoldB {kind = fk, con = fc, exp = fe, sgn_item = fsgi, sgn = fsg, str = f
c), loc)))
| DStyle (tn, x, n) =>
bind (ctx, NamedE (x, (CModProj (n, [], "css_class"), loc)))
- | DTask _ => ctx,
+ | DTask _ => ctx
+ | DPolicy _ => ctx,
mfd ctx d)) ctx ds,
fn ds' => (StrConst ds', loc))
| StrVar _ => S.return2 strAll
@@ -985,6 +986,10 @@ fun mapfoldB {kind = fk, con = fc, exp = fe, sgn_item = fsgi, sgn = fsg, str = f
S.map2 (mfe ctx e2,
fn e2' =>
(DTask (e1', e2'), loc)))
+ | DPolicy e1 =>
+ S.map2 (mfe ctx e1,
+ fn e1' =>
+ (DPolicy e1', loc))
and mfvi ctx (x, n, c, e) =
S.bind2 (mfc ctx c,
@@ -1128,6 +1133,7 @@ and maxNameDecl (d, _) =
| DCookie (n1, _, n2, _) => Int.max (n1, n2)
| DStyle (n1, _, n2) => Int.max (n1, n2)
| DTask _ => 0
+ | DPolicy _ => 0
and maxNameStr (str, _) =
case str of
StrConst ds => maxName ds