From 364c8c023cb8ac3e51340df24fb1acf346a7070c Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Fri, 7 Mar 2025 20:50:28 +0000 Subject: [PATCH] switch to using pure functional evaluator --- src/compiler/api/GF/Compile/GeneratePMCFG.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/compiler/api/GF/Compile/GeneratePMCFG.hs b/src/compiler/api/GF/Compile/GeneratePMCFG.hs index a7183d1fa..b5861b350 100644 --- a/src/compiler/api/GF/Compile/GeneratePMCFG.hs +++ b/src/compiler/api/GF/Compile/GeneratePMCFG.hs @@ -80,8 +80,8 @@ pmcfgForm :: Grammar -> Term -> Context -> Type -> SequenceSet -> Check ([Produc pmcfgForm gr t ctxt ty seqs = do res <- runEvalM (Gl gr stdPredef) $ do (_,args) <- mapAccumM (\arg_no (_,_,ty) -> do - t <- EvalM (\(Gl gr _) k mt d r msgs -> do (mt,_,t) <- type2metaTerm gr arg_no mt 0 [] ty - k t mt d r msgs) + t <- EvalM (\(Gl gr _) k e mt d r msgs -> do (mt,_,t) <- type2metaTerm gr arg_no mt 0 [] ty + k t mt d r msgs) tnk <- newThunk [] t return (arg_no+1,tnk)) 0 ctxt