(Hun) optimise Quant

This commit is contained in:
Inari Listenmaa
2020-11-28 19:35:00 +01:00
parent 8dc5daf664
commit df4ba9eb96
3 changed files with 14 additions and 27 deletions
+7 -19
View File
@@ -17,17 +17,11 @@ oper
-- Quant
param
QuantType =
IndefArticle -- Needed to prevent "a 2 cars"
| IndefQuant -- Not IndefArt, not poss, not def
| DefQuant
| QuantPoss PossStem -- Which possessive stem it takes
;
DetType =
DefDet -- distinction between Article and Other no longer needed
| IndefDet -- still need def or indef
| DetPoss PossStem -- Sill need to know which stem it takes if Poss
DefDet
| IndefDet -- Def or Indef relevant for verb agreement
| DetPoss PossStem -- Which possessive stem it takes
;
-- Singular stems. Plural is always same, no need to add here.
@@ -35,10 +29,10 @@ param
oper
-- standard trick to prevent "a one car"
isIndefArt : {qt : QuantType} -> Bool = \quant ->
case quant.qt of {
IndefArticle => True ;
_ => False
isIndefArt : {dt : DetType} -> Bool = \quant ->
case quant.dt of {
IndefDet => True ;
_ => False
} ;
dt2objdef : DetType -> ObjDef = \dt -> case dt of {
@@ -51,12 +45,6 @@ oper
Indef => IndefDet
} ;
qt2dt : QuantType -> DetType = \qt -> case qt of {
QuantPoss x => DetPoss x ;
DefQuant => DefDet ;
_ => IndefDet
} ;
agr2pstem : Person*Number -> PossStem = \pn ->
case <pn.p1,pn.p2> of {
<P1,Pl> => dSg_rPl1 ;