Mercurial > urweb
diff src/corify.sml @ 246:3aa010e97db9
Explify tables
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 31 Aug 2008 08:46:22 -0400 |
| parents | 766b5475477f |
| children | 5c50b17f5e4a |
line wrap: on
line diff
--- a/src/corify.sml Sun Aug 31 08:35:00 2008 -0400 +++ b/src/corify.sml Sun Aug 31 08:46:22 2008 -0400 @@ -806,6 +806,8 @@ end | _ => raise Fail "Non-const signature for 'export'") + | L.DTable _ => raise Fail "Corify DTable" + and corifyStr ((str, _), st) = case str of L.StrConst ds => @@ -855,7 +857,8 @@ | L.DSgn (_, n', _) => Int.max (n, n') | L.DStr (_, n', _, str) => Int.max (n, Int.max (n', maxNameStr str)) | L.DFfiStr (_, n', _) => Int.max (n, n') - | L.DExport _ => n) + | L.DExport _ => n + | L.DTable (_, _, n', _) => Int.max (n, n')) 0 ds and maxNameStr (str, _) =