From 546e778ba8c9ea4109fbe278c6363818a43eaa0f Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 14 Nov 2006 19:13:33 +0000
Subject: internal representation for param value index

---
 src/GF/Compile/Evaluate.hs | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/GF/Compile/Evaluate.hs')

diff --git a/src/GF/Compile/Evaluate.hs b/src/GF/Compile/Evaluate.hs
index 41a6ee17d..a574fef40 100644
--- a/src/GF/Compile/Evaluate.hs
+++ b/src/GF/Compile/Evaluate.hs
@@ -151,6 +151,13 @@ evalConcrete gr mo = mapMTree evaldef mo where
           return d
         Just d -> fterm2term d >>= comp g
     App f a -> case apps t of
+{- ----
+      (h@(QC p c),xs) -> do
+        xs' <- mapM (comp g) xs
+        case lookupValueIndex gr ty t of 
+        Ok v -> return v
+        _ -> return t
+-}
       (h@(Q p c),xs) | p == IC "Predef" -> do
         xs' <- mapM (comp g) xs
         (t',b) <- stmErr $ appPredefined (foldl App h xs')
-- 
cgit v1.2.3