Mercurial > urweb
diff src/corify.sml @ 271:42dfb0d61cf0
'database' declaration threaded through compiler
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 02 Sep 2008 10:51:41 -0400 |
| parents | 326fb4686f60 |
| children | 4260ad920c36 |
line wrap: on
line diff
--- a/src/corify.sml Tue Sep 02 10:31:16 2008 -0400 +++ b/src/corify.sml Tue Sep 02 10:51:41 2008 -0400 @@ -863,6 +863,8 @@ ([(L'.DTable (x, n, corifyCon st c, s), loc)], st) end + | L.DDatabase s => ([(L'.DDatabase s, loc)], st) + and corifyStr ((str, _), st) = case str of L.StrConst ds => @@ -913,7 +915,8 @@ | L.DStr (_, n', _, str) => Int.max (n, Int.max (n', maxNameStr str)) | L.DFfiStr (_, n', _) => Int.max (n, n') | L.DExport _ => n - | L.DTable (_, _, n', _) => Int.max (n, n')) + | L.DTable (_, _, n', _) => Int.max (n, n') + | L.DDatabase _ => n) 0 ds and maxNameStr (str, _) =