summaryrefslogtreecommitdiff
path: root/src/corify.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 10:48:02 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 10:48:02 -0500
commit59e90f80efd94c738df349da7d473da9a8a7e81a (patch)
tree020f1384d2aab1de4782d6f08180d28df08cf2e9 /src/corify.sml
parentea5a24773259c147e806960843d3305a3c72067b (diff)
Cookies through shake2
Diffstat (limited to 'src/corify.sml')
-rw-r--r--src/corify.sml11
1 files changed, 10 insertions, 1 deletions
diff --git a/src/corify.sml b/src/corify.sml
index 8b72f9f8..2b90a8f0 100644
--- a/src/corify.sml
+++ b/src/corify.sml
@@ -981,6 +981,14 @@ fun corifyDecl mods ((d, loc : EM.span), st) =
| L.DDatabase s => ([(L'.DDatabase s, loc)], st)
+ | L.DCookie (_, x, n, c) =>
+ let
+ val (st, n) = St.bindVal st x n
+ val s = doRestify (mods, x)
+ in
+ ([(L'.DCookie (x, n, corifyCon st c, s), loc)], st)
+ end
+
and corifyStr mods ((str, _), st) =
case str of
L.StrConst ds =>
@@ -1034,7 +1042,8 @@ fun maxName ds = foldl (fn ((d, _), n) =>
| L.DExport _ => n
| L.DTable (_, _, n', _) => Int.max (n, n')
| L.DSequence (_, _, n') => Int.max (n, n')
- | L.DDatabase _ => n)
+ | L.DDatabase _ => n
+ | L.DCookie (_, _, n', _) => Int.max (n, n'))
0 ds
and maxNameStr (str, _) =