plural inflection of Fin LN

This commit is contained in:
Aarne Ranta
2024-01-30 16:00:59 +01:00
parent 61bc8e7619
commit 4a12ecd9d3
3 changed files with 7 additions and 5 deletions
+2 -2
View File
@@ -844,9 +844,9 @@ mkVS = overload {
mkLN = overload {
mkLN : Str -> LN = \s -> lin LN (snoun2spn (mk1N s) ** {n = Sg}) ;
mkLN : Str -> Number -> LN = \s,n -> lin LN (snoun2spn (mk1N s) ** {n = n}) ;
mkLN : Str -> Number -> LN = \s,n -> lin LN (snoun2spnGen (mk1N s) n ** {n = n}) ;
mkLN : N -> LN = \noun -> lin LN (snoun2spn noun ** {n = Sg}) ;
mkLN : N -> Number -> LN = \noun,n -> lin LN (snoun2spn noun ** {n = n}) ;
mkLN : N -> Number -> LN = \noun,n -> lin LN (snoun2spnGen noun n ** {n = n}) ;
} ;
mkGN = overload {
+3 -1
View File
@@ -38,7 +38,9 @@ oper
SPN : Type = {s : Case => Str} ;
snoun2spn : SNoun -> SPN = \n -> {s = \\c => n.s ! NCase Sg c} ;
snoun2spn : SNoun -> SPN = \n -> snoun2spnGen n Sg ;
snoun2spnGen : SNoun -> Number -> SPN = \n,nb -> {s = \\c => n.s ! NCase nb c} ;
exceptNomSNoun : SNoun -> Str -> SNoun = \noun,nom -> {
s = table {