From 992e670c10f5eda6f653c31cbecbfe038f916a8a Mon Sep 17 00:00:00 2001 From: aarneranta Date: Tue, 12 May 2026 14:53:15 +0200 Subject: [PATCH] ParadigmsGre: case for mkPN Str Gender --- src/greek/ParadigmsGre.gf | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/greek/ParadigmsGre.gf b/src/greek/ParadigmsGre.gf index 7950767c..07964361 100644 --- a/src/greek/ParadigmsGre.gf +++ b/src/greek/ParadigmsGre.gf @@ -68,6 +68,8 @@ oper mkPN = overload { mkPN : (anna : Str) -> PN = \p -> lin PN (regName p) ; + mkPN : (anna : Str) -> Gender -> PN + = \p, g -> lin PN (regName p ** {g = g}) ; mkPN : (nm,gm,am,vm,pn,pa : Str) -> Gender -> PN = \ nm,gm,am,vm,pn,pa, g -> lin PN (mkName nm gm am vm pn pa g) ; } ;