From 87b55df10f00fd23d89a89bfb7c4354ff455d83d Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 11 Jan 2005 15:06:12 +0000
Subject: -val optimization

---
 src/GF/Canon/Look.hs | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/GF/Canon/Look.hs')

diff --git a/src/GF/Canon/Look.hs b/src/GF/Canon/Look.hs
index 8dfd4b3fb..615557a88 100644
--- a/src/GF/Canon/Look.hs
+++ b/src/GF/Canon/Look.hs
@@ -151,6 +151,12 @@ ccompute cnc = comp []
     T ty rs -> liftM (T ty . map (uncurry Cas)) $ 
                   mapPairsM compt [(l,r) | Cas l r <- rs]
 
+    V ptyp ts -> do
+      vs0 <- allParamValues cnc ptyp
+      vs  <- mapM term2patt vs0
+      let cc = [Cas [p] u | (p,u) <- zip vs ts]
+      compt $ T ptyp cc
+
     Con c xs -> liftM (Con c) $ mapM compt xs
 
     K (KS []) -> return E --- should not be needed
-- 
cgit v1.2.3