GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-27 08:58:55 -06:00
Code Issues Packages Projects Releases Wiki Activity

added type signature

Browse Source
This commit is contained in:
Krasimir Angelov
2026-05-05 21:42:57 +02:00
parent 3a133d035d
commit 57ef377e6d
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/hungarian/ResHun.gf
View File

@@ -428,7 +428,8 @@ oper
v2tov3 : Verb2 -> Verb3 = \v -> v ** {c3 = Dat} ; v2tov3 : Verb2 -> Verb3 = \v -> v ** {c3 = Dat} ;
mkVerb : (sg3 : Str) -> Verb = \sg3 -> mkVerb : (sg3 : Str) -> Verb = \sg3 ->
let inf = case sg3 of { let inf : Str
= case sg3 of {
_ + ("ít" | (#c + #c)) => sg3 + harm3 "ani" "eni" "eni" ! getHarm sg3 ; _ + ("ít" | (#c + #c)) => sg3 + harm3 "ani" "eni" "eni" ! getHarm sg3 ;
_ => sg3 + "ni" _ => sg3 + "ni"
} }