(Cat,Por,Spa) Export CopulaType and {ser,estar}Copula in Paradigms

This commit is contained in:
Inari Listenmaa
2019-03-29 12:29:48 +01:00
parent a16c900d34
commit d96db3992b
3 changed files with 30 additions and 2 deletions

View File

@@ -28,6 +28,7 @@ resource ParadigmsSpa =
(Predef=Predef),
Prelude,
MorphoSpa,
DiffSpa,
BeschSpa,
CatSpa in {
@@ -60,6 +61,10 @@ oper
genitive : Prep ; -- preposition "de" and its contractions
dative : Prep ; -- preposition "a" and its contractions
CopulaType : Type ;
serCopula : CopulaType ;
estarCopula : CopulaType ;
mkPrep : overload {
mkPrep : Str -> Prep ; -- other preposition
mkPrep : Str -> Prep -> Prep ; -- compound prepositions, e.g. "antes de", made as mkPrep "antes" genitive
@@ -322,10 +327,13 @@ oper
Gender = MorphoSpa.Gender ;
Number = MorphoSpa.Number ;
CopulaType = DiffSpa.CopulaType ;
masculine = Masc ;
feminine = Fem ;
singular = Sg ;
plural = Pl ;
serCopula = DiffSpa.serCopula ;
estarCopula = DiffSpa.estarCopula ;
accusative = complAcc ** {lock_Prep = <>} ;
genitive = complGen ** {lock_Prep = <>} ;