diff options
Diffstat (limited to 'src/GF/Compile/Evaluate.hs')
| -rw-r--r-- | src/GF/Compile/Evaluate.hs | 7 |
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') |
