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

fix for reverting metavariables

Browse Source
This commit is contained in:
Krasimir Angelov
2025-08-14 12:21:45 +02:00
parent d6a6a352ae
commit 4aa664e7aa
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/compiler/api/GF/Compile/Compute/Concrete2.hs
+3 -3
View File
@@ -779,9 +779,9 @@ try f select xs = EvalM (\g k state r msgs ->
backtrack g [] state res msgs = (res,msgs) backtrack g [] state res msgs = (res,msgs)
backtrack g (x:xs) state res msgs = backtrack g (x:xs) state res msgs =
case f x of case f x of
EvalM f -> case f g (\y state ys msgs -> Success (y:ys) msgs) state res msgs of EvalM f -> case f g (\y state (_,ys) msgs -> Success (state,y:ys) msgs) state (state,res) msgs of
Fail msg _ -> backtrack g xs state res msgs Fail msg _ -> backtrack g xs state res msgs
Success res msgs -> backtrack g xs state res msgs Success (state,res) msgs -> backtrack g xs state res msgs
newResiduation :: Scope -> EvalM MetaId newResiduation :: Scope -> EvalM MetaId
newResiduation scope = EvalM (\g k (State choices metas opts) r msgs -> newResiduation scope = EvalM (\g k (State choices metas opts) r msgs ->