diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-31 09:00:28 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-31 09:00:28 -0400 |
| commit | 652ca797f5c9de9adc198df0c0e8a706807328a6 (patch) | |
| tree | d169fb294b36335dbe40525678328c7b0dc21c13 /src/core_env.sml | |
| parent | 773cc619b71ad10b8f21f6941d67947bac86885f (diff) | |
Corify tables
Diffstat (limited to 'src/core_env.sml')
| -rw-r--r-- | src/core_env.sml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/core_env.sml b/src/core_env.sml index d59e3d3d..d0ae8a86 100644 --- a/src/core_env.sml +++ b/src/core_env.sml @@ -187,6 +187,12 @@ fun declBinds env (d, loc) = | DVal (x, n, t, e, s) => pushENamed env x n t (SOME e) s | DValRec vis => foldl (fn ((x, n, t, e, s), env) => pushENamed env x n t NONE s) env vis | DExport _ => env + | DTable (x, n, c, s) => + let + val t = (CApp ((CFfi ("Basis", "table"), loc), c), loc) + in + pushENamed env x n t NONE s + end fun patBinds env (p, loc) = case p of |