1
0
forked from GitHub/gf-rgl

(Som) Fix bug in UttVP+RelVP

This commit is contained in:
Inari Listenmaa
2019-07-30 17:13:05 +02:00
parent 773417511a
commit bba53fc48b
2 changed files with 11 additions and 2 deletions
+8
View File
@@ -164,6 +164,14 @@ oper
_ => P3_Prep
} ;
pagr2agr : PrepAgr -> Agreement = \a -> case a of {
Sg1_Prep => Sg1 ;
Sg2_Prep => Sg2 ;
Pl1_Prep i => Pl1 i ;
Pl2_Prep => Pl2 ;
_ => Pl3
} ;
isP3 = overload {
isP3 : Agreement -> Bool = \agr ->
case agr of {Sg3 _ | Pl3 => True ; _ => False} ;