GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-09-07 19:54:16 -06:00
Code Issues Packages Projects Releases Wiki Activity

added type signature for GF3

Browse Source
This commit is contained in:
Krasimir Angelov
2026-09-07 16:14:16 +02:00
parent 0a197ec126
commit dcc0f3f56c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/maltese/ExtendMlt.gf
+1 -1
View File
@@ -224,7 +224,7 @@ oper
num.s ! NumAdj ++ cn.s ! numform2nounnum num.n ++ prep_ta.enclitic ! agr ;
pastPartStr : VPSlash -> GenNum -> Str = \vp,gn ->
let agr = toAgr gn in
let agr : Agr = toAgr gn in
case exists Participle vp.v.pastPart of {
True => fromJust Participle vp.v.pastPart ! gn ++ vp.s2 ! agr ++ vp.c2.s ! Definite ;
False => (vp.v.s ! VPerf (toVAgr agr)).s1 ++ vp.s2 ! agr ++ vp.c2.s ! Definite