Mercurial > urweb
diff src/corify.sml @ 100:f0f59e918cac
page declaration, up through monoize
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 10 Jul 2008 10:11:35 -0400 |
| parents | 275aaeb73f1f |
| children | 5f04adf47f48 |
line wrap: on
line diff
--- a/src/corify.sml Thu Jul 10 09:24:43 2008 -0400 +++ b/src/corify.sml Thu Jul 10 10:11:35 2008 -0400 @@ -427,6 +427,7 @@ end | _ => raise Fail "Non-const signature for FFI structure") + | L.DPage (c, e) => ([(L'.DPage (corifyCon st c, corifyExp st e), loc)], st) and corifyStr ((str, _), st) = case str of @@ -473,7 +474,8 @@ | L.DVal (_, n', _ , _) => Int.max (n, n') | 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.DFfiStr (_, n', _) => Int.max (n, n') + | L.DPage _ => n) 0 ds and maxNameStr (str, _) =