diff options
author | 2009-04-28 15:04:37 -0400 | |
---|---|---|
committer | 2009-04-28 15:04:37 -0400 | |
commit | 81138f15749d9fcd2b6056d4c4cd8c0edc5fce4b (patch) | |
tree | e4e2246dc15a7cbbf067401a21197b6fd17ea95b /src/corify.sml | |
parent | 488033c82277ffe87f8fbd32ccd52298e0883743 (diff) |
A view query works
Diffstat (limited to 'src/corify.sml')
-rw-r--r-- | src/corify.sml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/corify.sml b/src/corify.sml index c1cd940e..f1895e19 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -992,6 +992,13 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) = in ([(L'.DSequence (x, n, s), loc)], st) end + | L.DView (_, x, n, e, c) => + let + val (st, n) = St.bindVal st x n + val s = relify (doRestify (mods, x)) + in + ([(L'.DView (x, n, s, corifyExp st e, corifyCon st c), loc)], st) + end | L.DDatabase s => ([(L'.DDatabase s, loc)], st) @@ -1063,6 +1070,7 @@ fun maxName ds = foldl (fn ((d, _), n) => | L.DExport _ => n | L.DTable (_, _, n', _, _, _, _, _) => Int.max (n, n') | L.DSequence (_, _, n') => Int.max (n, n') + | L.DView (_, _, n', _, _) => Int.max (n, n') | L.DDatabase _ => n | L.DCookie (_, _, n', _) => Int.max (n, n') | L.DStyle (_, _, n') => Int.max (n, n')) |