GitHub/gf-core
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-11-04 03:15:26 -07:00
Code Issues Packages Projects Releases Wiki Activity

switch to using pure functional evaluator

Browse Source
This commit is contained in:
Krasimir Angelov committed 2025-03-07 20:50:28 +00:00
1 parent c9aadf7382
commit 364c8c023c
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
src/compiler/api/GF/Compile/GeneratePMCFG.hs
+1 -1
View File
@@ -80,7 +80,7 @@ pmcfgForm :: Grammar -> Term -> Context -> Type -> SequenceSet -> Check ([Produc
pmcfgForm gr t ctxt ty seqs = do pmcfgForm gr t ctxt ty seqs = do
res <- runEvalM (Gl gr stdPredef) $ do res <- runEvalM (Gl gr stdPredef) $ do
(_,args) <- mapAccumM (\arg_no (_,_,ty) -> 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 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) k t mt d r msgs)
tnk <- newThunk [] t tnk <- newThunk [] t
return (arg_no+1,tnk)) return (arg_no+1,tnk))