diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-04-04 12:29:34 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-04-04 12:29:34 -0400 |
| commit | 77f1c289bcb9228ca9605913316405c7cb63fecc (patch) | |
| tree | 37d9f6d28314bc020e87c05ec9e7826b5e647d44 /src/corify.sml | |
| parent | c936b6f87a1f30ff1aa12dfe968c5e80a04550e1 (diff) | |
Pushing policies through
Diffstat (limited to 'src/corify.sml')
| -rw-r--r-- | src/corify.sml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/corify.sml b/src/corify.sml index 6931600e..88473455 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -1080,6 +1080,9 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) = | L.DTask (e1, e2) => ([(L'.DTask (corifyExp st e1, corifyExp st e2), loc)], st) + | L.DPolicy e1 => + ([(L'.DPolicy (corifyExp st e1), loc)], st) + and corifyStr mods ((str, _), st) = case str of L.StrConst ds => @@ -1137,7 +1140,8 @@ fun maxName ds = foldl (fn ((d, _), n) => | L.DDatabase _ => n | L.DCookie (_, _, n', _) => Int.max (n, n') | L.DStyle (_, _, n') => Int.max (n, n') - | L.DTask _ => n) + | L.DTask _ => n + | L.DPolicy _ => n) 0 ds and maxNameStr (str, _) = |