Mercurial > urweb
diff src/expl_env.sml @ 338:e976b187d73a
SQL sequences
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 14 Sep 2008 11:02:18 -0400 |
| parents | 73456bfde988 |
| children | d34834af4512 |
line wrap: on
line diff
--- a/src/expl_env.sml Sat Sep 13 20:15:30 2008 -0400 +++ b/src/expl_env.sml Sun Sep 14 11:02:18 2008 -0400 @@ -284,7 +284,13 @@ | DExport _ => env | DTable (tn, x, n, c) => let - val t = (CApp ((CModProj (tn, [], "table"), loc), c), loc) + val t = (CApp ((CModProj (tn, [], "sql_table"), loc), c), loc) + in + pushENamed env x n t + end + | DSequence (tn, x, n) => + let + val t = (CModProj (tn, [], "sql_sequence"), loc) in pushENamed env x n t end @@ -337,7 +343,13 @@ | SgiTable (tn, x, n, c) => let - val t = (CApp ((CModProj (tn, [], "table"), loc), c), loc) + val t = (CApp ((CModProj (tn, [], "sql_table"), loc), c), loc) + in + pushENamed env x n t + end + | SgiSequence (tn, x, n) => + let + val t = (CModProj (tn, [], "sql_sequence"), loc) in pushENamed env x n t end