summaryrefslogtreecommitdiff
path: root/src/corify.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-12 10:08:11 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-12 10:08:11 -0400
commit30eeaff2c92fb1d0ba029a7688fc7b547a60c150 (patch)
treea661373caf0683dea44543b9997278159a574d1b /src/corify.sml
parent17cb59d373d1a94731d3730b938776b524d9f81c (diff)
style declarations
Diffstat (limited to 'src/corify.sml')
-rw-r--r--src/corify.sml10
1 files changed, 9 insertions, 1 deletions
diff --git a/src/corify.sml b/src/corify.sml
index e3b9a365..1a5bab06 100644
--- a/src/corify.sml
+++ b/src/corify.sml
@@ -1002,6 +1002,13 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) =
in
([(L'.DCookie (x, n, corifyCon st c, s), loc)], st)
end
+ | L.DStyle (_, x, n, c) =>
+ let
+ val (st, n) = St.bindVal st x n
+ val s = doRestify (mods, x)
+ in
+ ([(L'.DStyle (x, n, corifyCon st c, s), loc)], st)
+ end
and corifyStr mods ((str, _), st) =
case str of
@@ -1057,7 +1064,8 @@ fun maxName ds = foldl (fn ((d, _), n) =>
| L.DTable (_, _, n', _, _, _, _, _) => Int.max (n, n')
| L.DSequence (_, _, n') => Int.max (n, n')
| L.DDatabase _ => n
- | L.DCookie (_, _, n', _) => Int.max (n, n'))
+ | L.DCookie (_, _, n', _) => Int.max (n, n')
+ | L.DStyle (_, _, n', _) => Int.max (n, n'))
0 ds
and maxNameStr (str, _) =