ParadigmsGre: case for mkPN Str Gender

This commit is contained in:
aarneranta
2026-05-12 14:53:15 +02:00
parent eea95a6f76
commit 992e670c10

View File

@@ -68,6 +68,8 @@ oper
mkPN = overload { mkPN = overload {
mkPN : (anna : Str) -> PN mkPN : (anna : Str) -> PN
= \p -> lin PN (regName p) ; = \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 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) ; = \ nm,gm,am,vm,pn,pa, g -> lin PN (mkName nm gm am vm pn pa g) ;
} ; } ;