diff options
Diffstat (limited to 'src/corify.sml')
-rw-r--r-- | src/corify.sml | 11 |
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, _) = |