(Hun) Add new QuantType param to Quants

This commit is contained in:
Inari Listenmaa
2020-04-23 19:56:10 +02:00
parent f3fd085318
commit 4dc5b53c3c
3 changed files with 18 additions and 6 deletions
+12
View File
@@ -13,7 +13,19 @@ oper
--------------------------------------------------------------------------------
-- Morphophonology
--------------------------------------------------------------------------------
-- Quant
param
QuantType = Possessive | Article ;
oper
-- standard trick to prevent "a one car"
isIndefArt : {qt : QuantType ; objdef : ObjDef} -> Bool = \quant ->
case <quant.qt,quant.objdef> of {
<Article,Indef> => True ;
_ => False
} ;
--------------------------------------------------------------------------------
-- Nouns