summaryrefslogtreecommitdiff
path: root/src/GF/Grammar/Compute.hs
diff options
context:
space:
mode:
authoraarne <unknown>2003-11-13 16:02:25 +0000
committeraarne <unknown>2003-11-13 16:02:25 +0000
commitc5146d06143c9b93e40bb2b1265ab58134be36d7 (patch)
treea3c9fff896b110e7c84bbc8fe298f278e374eccb /src/GF/Grammar/Compute.hs
parent25c86905867537f75e9fe2f19759d8747d465590 (diff)
Improved interface and instance compilation.
Improved interface and instance compilation. Restored an optimization of the optimizer: up to 4x faster now.
Diffstat (limited to 'src/GF/Grammar/Compute.hs')
-rw-r--r--src/GF/Grammar/Compute.hs4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/GF/Grammar/Compute.hs b/src/GF/Grammar/Compute.hs
index 705b81ded..e400bce4e 100644
--- a/src/GF/Grammar/Compute.hs
+++ b/src/GF/Grammar/Compute.hs
@@ -172,6 +172,10 @@ computeTerm gr = comp where
_ -> return $ ExtR r' s'
-- case-expand tables
+ T i@(TComp _) cs -> do
+ cs' <- mapPairsM (comp g) cs
+ return $ T i cs'
+
T i cs -> do
pty0 <- getTableType i
ptyp <- comp g pty0