diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-12 12:31:54 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-12 12:31:54 -0400 |
| commit | 84168a777e28ab53917bc3ed448cc90e6b00a4ed (patch) | |
| tree | 9df501486d7beb6949a4743263fc15e53cf1c8e4 /src/corify.sml | |
| parent | 0f0d418e2290cdf5e6e392f65579756b37661be9 (diff) | |
Stop tracking CSS classes in XML types
Diffstat (limited to 'src/corify.sml')
| -rw-r--r-- | src/corify.sml | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/src/corify.sml b/src/corify.sml index d0fc6200..c8da9df5 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -923,11 +923,10 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) = ran' as (L.CApp ((L.CApp - ((L.CApp - ((L.CApp ((L.CModProj (basis', [], "xml"), _), - (L.CRecord (_, [((L.CName "Html", _), - _)]), _)), _), _), - _), _), _), _), _))) => + ((L.CApp ((L.CModProj (basis', [], "xml"), _), + (L.CRecord (_, [((L.CName "Html", _), + _)]), _)), _), _), + _), _), _))) => let val ran = (L.TRecord (L.CRecord ((L.KType, loc), []), loc), loc) val ranT = (L.CApp ((L.CModProj (basis, [], "transaction"), loc), @@ -1003,12 +1002,12 @@ 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) => + | L.DStyle (_, x, n) => 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) + ([(L'.DStyle (x, n, s), loc)], st) end and corifyStr mods ((str, _), st) = @@ -1066,7 +1065,7 @@ fun maxName ds = foldl (fn ((d, _), n) => | L.DSequence (_, _, n') => Int.max (n, n') | L.DDatabase _ => n | L.DCookie (_, _, n', _) => Int.max (n, n') - | L.DStyle (_, _, n', _) => Int.max (n, n')) + | L.DStyle (_, _, n') => Int.max (n, n')) 0 ds and maxNameStr (str, _) = |