type computed in table T [...]

2008-05-29 08:23:23 +00:00
parent 34736bb431
commit a5d05e8344
1 changed files with 2 additions and 2 deletions
--- a/src-3.0/GF/Compile/Compute.hs
+++ b/src-3.0/GF/Compile/Compute.hs
@@ -386,10 +386,10 @@ computeTermOpt rec gr = comput True where
 ----          return $ V ty (map snd cs')
          return $ T i cs'
         V ty cs -> do
+          ty' <- comp g ty
          -- if there are no variables, don't even go inside
          cs' <- if (null g) then return cs else mapM (comp g) cs
----       return $ V ty (map snd cs')
-          return $ V ty cs'
+          return $ V ty' cs'

         T i cs -> do
          pty0 <- getTableType i