added infinitives

This commit is contained in:
Krasimir Angelov
2026-05-05 15:03:53 +02:00
parent 88a3759a9e
commit 70806027c1
2 changed files with 7 additions and 2 deletions

View File

@@ -277,7 +277,7 @@ lin question_N = mkN "kérdés" "kérdést" ;
lin radio_N = mkN "rádió" "rádiót" ; lin radio_N = mkN "rádió" "rádiót" ;
lin rain_N = mkN "eső" "esőt" ; lin rain_N = mkN "eső" "esőt" ;
-- lin rain_V0 = mkV "" ; -- lin rain_V0 = mkV "" ;
-- lin read_V2 = mkV2 "" ; lin read_V2 = mkV2 "olvas" ;
lin ready_A = mkA "kész" ; lin ready_A = mkA "kész" ;
lin reason_N = mkN "ok" "okot" "okok" "oka" ; lin reason_N = mkN "ok" "okot" "okok" "oka" ;
lin red_A = mkA "piros" ; lin red_A = mkA "piros" ;

View File

@@ -427,7 +427,12 @@ oper
} ; } ;
v2tov3 : Verb2 -> Verb3 = \v -> v ** {c3 = Dat} ; v2tov3 : Verb2 -> Verb3 = \v -> v ** {c3 = Dat} ;
mkVerb : (sg3 : Str) -> Verb = mkVerbReg endingsIndef "TODO:infinitive" ; -- TODO mkVerb : (sg3 : Str) -> Verb = \sg3 ->
let inf = case sg3 of {
_ + ("ít" | (#c + #c)) => sg3 + harm3 "ani" "eni" "eni" ! getHarm sg3 ;
_ => sg3 + "ni"
}
in mkVerbReg endingsIndef inf sg3 ;
mkVerbReg : VerbEndings -> (inf, stem : Str) -> Verb = \hf,inf,stem -> mkVerbReg : VerbEndings -> (inf, stem : Str) -> Verb = \hf,inf,stem ->
let h : Harm = getHarm stem ; let h : Harm = getHarm stem ;