From f7bf18d1013b7ad9de9ec950ed9f526c8bf04f6e Mon Sep 17 00:00:00 2001 From: krangelov Date: Mon, 13 Dec 2021 09:44:28 +0100 Subject: [PATCH] fix value2term for predefined functions --- src/compiler/GF/Compile/Compute/Concrete.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compiler/GF/Compile/Compute/Concrete.hs b/src/compiler/GF/Compile/Compute/Concrete.hs index 8cab099eb..b0416dbf6 100644 --- a/src/compiler/GF/Compile/Compute/Concrete.hs +++ b/src/compiler/GF/Compile/Compute/Concrete.hs @@ -411,7 +411,7 @@ patternMatch v0 ((env0,ps,args0,t):eqs) = match env0 ps eqs args0 return (mt,tnk:tnks) value2term i (VApp q tnks) = - foldM (\e1 tnk -> fmap (App e1) (force tnk >>= value2term i)) (QC q) tnks + foldM (\e1 tnk -> fmap (App e1) (force tnk >>= value2term i)) (if fst q == cPredef then Q q else QC q) tnks value2term i (VMeta m env tnks) = do res <- zonk m tnks case res of