From 4c23ca211686368df714f350e0c4f2312549879c Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Mon, 24 Aug 2026 13:23:30 +0200 Subject: [PATCH] add a type signature to satisfy the old type checker --- src/macedonian/IdiomMkd.gf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/macedonian/IdiomMkd.gf b/src/macedonian/IdiomMkd.gf index 77a283ac..a5541674 100644 --- a/src/macedonian/IdiomMkd.gf +++ b/src/macedonian/IdiomMkd.gf @@ -10,7 +10,7 @@ concrete IdiomMkd of Idiom = CatMkd ** open Prelude,ResMkd,MorphoMkd in { let vp = case p of { Pos => mkV001 "има" ; Neg => mkV001 "нема" - } ** {compl = \\_ => np.s ! RSubj} ; + } ** {compl : Agr => Str = \\_ => np.s ! RSubj} ; in mkClause [] {g=GSg Neuter; p=P3} vp ! o ! t ! a ! Pos } ; lin ExistNPAdv np a = { @@ -18,7 +18,7 @@ concrete IdiomMkd of Idiom = CatMkd ** open Prelude,ResMkd,MorphoMkd in { let vp = case p of { Pos => mkV001 "има" ; Neg => mkV001 "нема" - } ** {compl = \\_ => np.s ! RSubj ++ a.s} ; + } ** {compl : Agr => Str = \\_ => np.s ! RSubj ++ a.s} ; in mkClause [] {g=GSg Neuter; p=P3} vp ! o ! t ! a2 ! Pos } ; lin GenericCl vp = {s = \\t,a,p,o => vp.present ! Imperfective ! Sg