GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-09-17 07:46:00 -06:00
Code Issues Packages Projects Releases Wiki Activity

fix: the choice cannot be reused

Browse Source
This commit is contained in:
Krasimir Angelov
2026-09-12 11:16:20 +02:00
parent ae502f37ca
commit 19a5da6606
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/compiler/api/GF/Compile/GeneratePMCFG.hs
+4 -3
View File
@@ -71,9 +71,10 @@ addPMCFG cwd g cmi id (CncFun (Just lty@(cats,cat,ctxt,ty)) mlin@(Just (L loc te
addPMCFG cwd g cmi id info = return info addPMCFG cwd g cmi id info = return info
pmcfgForm g t ctxt ty = do pmcfgForm g t ctxt ty = do
let (ms,s',t',arg_params) = apply 0 Map.empty unit ctxt t [] let (c1,c2) = split unit
let v = eval g [] s' t' [] (ms,s',t',arg_params) = apply 0 Map.empty c1 ctxt t []
(ms,_,_,fn) <- breakDown g ms unit 0 [] v ty (return []) empty v = eval g [] s' t' []
(ms,_,_,fn) <- breakDown g ms c2 0 [] v ty (return []) empty
res <- fmap nubOrd $ runGenM g ms [] $ do res <- fmap nubOrd $ runGenM g ms [] $ do
(r,rs,v,res_params) <- fn (r,rs,v,res_params) <- fn
(subst,arg_params) <- mapAccumM params2int Map.empty arg_params (subst,arg_params) <- mapAccumM params2int Map.empty arg_params