allow plural PN

This commit is contained in:
krangelov committed 2021-02-17 09:42:40 +01:00
1 parent 24bc84627b
commit 2bb3630f00
5 files changed
+12 -16

No files matched your search

+6 -2
View File
@@ -278,8 +278,12 @@ oper
--2 Proper Names
--
mkPN : Str -> Gender -> PN ;
mkPN s g = {s = s; g = g ; lock_PN = <>} ;
mkPN = overload {
mkPN : Str -> Gender -> PN =
\s,g -> {s = s; gn = GSg g ; lock_PN = <>} ;
mkPN : Str -> GenNum -> PN =
\s,gn -> {s = s; gn = gn ; lock_PN = <>} ;
} ;
--2 IAdv