make mkPN more portable across languages

This commit is contained in:
Krasimir Angelov
2022-08-02 16:07:27 +02:00
parent a181ab36a4
commit 607f4d68ae
4 changed files with 26 additions and 3 deletions
+6
View File
@@ -266,7 +266,13 @@ oper
--2 Proper Names
--
masculine : Gender = Masc ;
feminine : Gender = Fem ;
neutr : Gender = Neut ;
mkPN = overload {
mkPN : Str -> PN = \s -> {s = s; gn = GSg Masc ; lock_PN = <>} ;
mkPN : Str -> Gender -> PN =
\s,g -> {s = s; gn = GSg g ; lock_PN = <>} ;
mkPN : Str -> GenNum -> PN =