summaryrefslogtreecommitdiff
path: root/src/GF/Compile/Evaluate.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/GF/Compile/Evaluate.hs')
-rw-r--r--src/GF/Compile/Evaluate.hs7
1 files changed, 7 insertions, 0 deletions
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')