From 4aa664e7aa58518dfc9726faff4552577f6f85f1 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Thu, 14 Aug 2025 12:21:45 +0200 Subject: [PATCH] fix for reverting metavariables --- src/compiler/api/GF/Compile/Compute/Concrete2.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/compiler/api/GF/Compile/Compute/Concrete2.hs b/src/compiler/api/GF/Compile/Compute/Concrete2.hs index e6416b5d7..355d08b6f 100644 --- a/src/compiler/api/GF/Compile/Compute/Concrete2.hs +++ b/src/compiler/api/GF/Compile/Compute/Concrete2.hs @@ -779,9 +779,9 @@ try f select xs = EvalM (\g k state r msgs -> backtrack g [] state res msgs = (res,msgs) backtrack g (x:xs) state res msgs = case f x of - EvalM f -> case f g (\y state ys msgs -> Success (y:ys) msgs) state res msgs of - Fail msg _ -> backtrack g xs state res msgs - Success res msgs -> backtrack g xs state res msgs + 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 + Success (state,res) msgs -> backtrack g xs state res msgs newResiduation :: Scope -> EvalM MetaId newResiduation scope = EvalM (\g k (State choices metas opts) r msgs ->