1
0
forked from GitHub/gf-rgl

Merge pull request #140 from odanoburu/por-cop

(Por) change copula type from bool to sum param
This commit is contained in:
Inari Listenmaa
2019-01-14 00:03:12 +02:00
committed by GitHub
3 changed files with 15 additions and 6 deletions

View File

@@ -72,11 +72,20 @@ instance DiffPor of DiffRomance - [chooseTA,partAgr,vpAgrSubj,vpAgrClits] = open
in
neg.p1 ++ verb ++ bindIf refl.p2 ++ refl.p1 ++ bindIf clpr.p3 ++ clpr.p1 ++ compl ;
param
Copula = SerCop | EstarCop | FicarCop ;
oper
CopulaType = Bool ;
selectCopula = \isEstar -> case isEstar of {True => estar_V ; False => copula} ;
serCopula = False ;
estarCopula = True ;
CopulaType = Copula ;
selectCopula coptyp = case coptyp of {
SerCop => copula ;
EstarCop => estar_V ;
FicarCop => ficar_V
} ;
serCopula = SerCop ;
estarCopula = EstarCop ;
ficarCopula = FicarCop ;
oper
-- the other Cases are defined in ResRomance

View File

@@ -256,7 +256,7 @@ oper
mkA : (blanco : A) -> (hueso : Str) -> A -- noninflecting component after the adjective
= mkNonInflectA ;
mkA : A -> CopulaType -> A -- force copula type, e.g. "João está doente", "João é doente"
mkA : A -> CopulaType -> A -- force copula type, e.g. "João está doente", "João é doente". Choose among ``serCopula``, ``estarCopula``, and ``ficarCopula``
= adjCopula ;
} ;

View File

@@ -52,7 +52,7 @@ interface DiffRomance = open CommonRomance, Prelude in {
oper mkImperative : Bool -> Person -> VP -> RPolarity => Gender => Number => Str ;
-- To render the copula (ser/estar in Spa,Cat)
-- To render the copula (ser/estar in Spa,Cat,Por)
oper CopulaType : PType ;
oper selectCopula : CopulaType -> Verb ;