Mercurial > urweb
diff src/expl_env.sml @ 246:3aa010e97db9
Explify tables
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 31 Aug 2008 08:46:22 -0400 |
| parents | aa54250f58ac |
| children | 73456bfde988 |
line wrap: on
line diff
--- a/src/expl_env.sml Sun Aug 31 08:35:00 2008 -0400 +++ b/src/expl_env.sml Sun Aug 31 08:46:22 2008 -0400 @@ -282,6 +282,12 @@ | DStr (x, n, sgn, _) => pushStrNamed env x n sgn | DFfiStr (x, n, sgn) => pushStrNamed env x n sgn | DExport _ => env + | DTable (tn, x, n, c) => + let + val t = (CApp ((CModProj (tn, [], "table"), loc), c), loc) + in + pushENamed env x n t + end fun sgiBinds env (sgi, loc) = case sgi of @@ -328,4 +334,11 @@ | SgiSgn (x, n, sgn) => pushSgnNamed env x n sgn | SgiStr (x, n, sgn) => pushStrNamed env x n sgn + | SgiTable (tn, x, n, c) => + let + val t = (CApp ((CModProj (tn, [], "table"), loc), c), loc) + in + pushENamed env x n t + end + end