summaryrefslogtreecommitdiff
path: root/src-3.0
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-05-29 08:23:23 +0000
committeraarne <aarne@cs.chalmers.se>2008-05-29 08:23:23 +0000
commita5d05e8344eae25a50edb19f1c382f2cb53c5a72 (patch)
treee2815f23c296e26c2e4cd08f296b7ada7bf71781 /src-3.0
parent34736bb431aefa956de037af468ca4edc8a8999a (diff)
type computed in table T [...]
Diffstat (limited to 'src-3.0')
-rw-r--r--src-3.0/GF/Compile/Compute.hs4
1 files 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