diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs
index 0684d82f2..1480e4ddb 100644
--- a/src/GF/Compile/CheckGrammar.hs
+++ b/src/GF/Compile/CheckGrammar.hs
@@ -411,6 +411,9 @@ inferLType gr trm = case trm of
        else do 
          (arg,val) <- checks $ map (inferCase Nothing) pts'
          check trm (Table arg val)
+   V arg pts -> do
+     (_,val) <- checks $ map infer pts
+     return (trm, Table arg val)
 
    K s  -> do
      if elem ' ' s