From f82b8b6e112f7baf0983ad41843e70d7048b5032 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Thu, 22 May 2025 20:06:50 +0200 Subject: [PATCH] missing cases in collectOp --- src/compiler/api/GF/Grammar/Macros.hs | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/compiler/api/GF/Grammar/Macros.hs b/src/compiler/api/GF/Grammar/Macros.hs index 526969b93..92de22594 100644 --- a/src/compiler/api/GF/Grammar/Macros.hs +++ b/src/compiler/api/GF/Grammar/Macros.hs @@ -443,10 +443,14 @@ collectOp :: Monoid m => (Term -> m) -> Term -> m collectOp co trm = case trm of App c a -> co c <> co a Abs _ _ b -> co b + ImplArg t -> co t Prod _ _ a b -> co a <> co b + Typed a b -> co a <> co b + Example t _ -> co t S c a -> co c <> co a Table a c -> co a <> co c ExtR a c -> co a <> co c + Opts t os -> co t <> mconcatMap (\(a,b) -> co a <> co b) os R r -> mconcatMap (\ (_,(mt,a)) -> maybe mempty co mt <> co a) r RecType r -> mconcatMap (co . snd) r P t i -> co t @@ -455,9 +459,13 @@ collectOp co trm = case trm of Let (x,(mt,a)) b -> maybe mempty co mt <> co a <> co b C s1 s2 -> co s1 <> co s2 Glue s1 s2 -> co s1 <> co s2 + EPattType t -> co t Alts t aa -> let (x,y) = unzip aa in co t <> mconcatMap co (x <> y) FV ts -> mconcatMap co ts Strs tt -> mconcatMap co tt + ELincat _ t -> co t + ELin _ t -> co t + AdHocOverload ts -> mconcatMap co ts Markup t as cs -> mconcatMap (co.snd) as <> mconcatMap co cs Reset _ ct t _-> maybe mempty co ct <> co t _ -> mempty -- covers K, Vr, Cn, Sort