From a5d05e8344eae25a50edb19f1c382f2cb53c5a72 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 29 May 2008 08:23:23 +0000
Subject: [PATCH] type computed in table T [...]

---
 src-3.0/GF/Compile/Compute.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src-3.0/GF/Compile/Compute.hs b/src-3.0/GF/Compile/Compute.hs
index a2550201c..e42efba8c 100644
--- 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