Mercurial > urweb
diff src/core_env.sml @ 338:e976b187d73a
SQL sequences
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 14 Sep 2008 11:02:18 -0400 |
parents | e21d0dddda09 |
children | e0e9e9eca1cb |
line wrap: on
line diff
--- a/src/core_env.sml Sat Sep 13 20:15:30 2008 -0400 +++ b/src/core_env.sml Sun Sep 14 11:02:18 2008 -0400 @@ -217,7 +217,13 @@ | DExport _ => env | DTable (x, n, c, s) => let - val t = (CApp ((CFfi ("Basis", "table"), loc), c), loc) + val t = (CApp ((CFfi ("Basis", "sql_table"), loc), c), loc) + in + pushENamed env x n t NONE s + end + | DSequence (x, n, s) => + let + val t = (CFfi ("Basis", "sql_sequence"), loc) in pushENamed env x n t NONE s end