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