Skip to content

Commit 19a5da6

Browse files
committed
fix: the choice cannot be reused
1 parent ae502f3 commit 19a5da6

1 file changed

Lines changed: 4 additions & 3 deletions

File tree

src/compiler/api/GF/Compile/GeneratePMCFG.hs

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -71,9 +71,10 @@ addPMCFG cwd g cmi id (CncFun (Just lty@(cats,cat,ctxt,ty)) mlin@(Just (L loc te
7171
addPMCFG cwd g cmi id info = return info
7272

7373
pmcfgForm g t ctxt ty = do
74-
let (ms,s',t',arg_params) = apply 0 Map.empty unit ctxt t []
75-
let v = eval g [] s' t' []
76-
(ms,_,_,fn) <- breakDown g ms unit 0 [] v ty (return []) empty
74+
let (c1,c2) = split unit
75+
(ms,s',t',arg_params) = apply 0 Map.empty c1 ctxt t []
76+
v = eval g [] s' t' []
77+
(ms,_,_,fn) <- breakDown g ms c2 0 [] v ty (return []) empty
7778
res <- fmap nubOrd $ runGenM g ms [] $ do
7879
(r,rs,v,res_params) <- fn
7980
(subst,arg_params) <- mapAccumM params2int Map.empty arg_params

0 commit comments

Comments
 (0)