diff options
Diffstat (limited to 'next-lib/src/spanish/DiffSpa.gf')
| -rw-r--r-- | next-lib/src/spanish/DiffSpa.gf | 183 |
1 files changed, 0 insertions, 183 deletions
diff --git a/next-lib/src/spanish/DiffSpa.gf b/next-lib/src/spanish/DiffSpa.gf deleted file mode 100644 index b1ea05af6..000000000 --- a/next-lib/src/spanish/DiffSpa.gf +++ /dev/null @@ -1,183 +0,0 @@ ---# -path=.:../romance:../abstract:../common:prelude - -instance DiffSpa of DiffRomance = open CommonRomance, PhonoSpa, BeschSpa, Prelude in { - - flags optimize=noexpand ; - - param - Prepos = P_de | P_a ; - VType = VHabere | VRefl ; - - oper - dative : Case = CPrep P_a ; - genitive : Case = CPrep P_de ; - - prepCase = \c -> case c of { - Nom => [] ; - Acc => [] ; - CPrep P_de => "de" ; - CPrep P_a => "a" - } ; - - artDef : Gender -> Number -> Case -> Str = \g,n,c -> - case <g,n,c> of { - <Masc,Sg, CPrep P_de> => "del" ; - <Masc,Sg, CPrep P_a> => "al" ; - <Masc,Sg, _> => prepCase c ++ "el" ; - <Fem ,Sg, _> => prepCase c ++ "la" ; - <Masc,Pl, _> => prepCase c ++ "los" ; - <Fem ,Pl, _> => prepCase c ++ "las" - } ; - --- In these two, "de de/du/des" becomes "de". - - artIndef = \g,n,c -> case n of { - Sg => prepCase c ++ genForms "un" "una" ! g ; - _ => prepCase c ++ genForms "unos" "unas" ! g - } ; - - possCase = \_,_,c -> prepCase c ; - - partitive = \_,c -> prepCase c ; - -{- - partitive = \g,c -> case c of { - CPrep P_de => "de" ; - _ => prepCase c ++ artDef g Sg (CPrep P_de) - } ; --} - - conjunctCase : NPForm -> NPForm = \c -> case c of { - Ton Nom | Aton Nom => Ton Nom ; - _ => Ton Acc - } ; - - auxVerb : VType -> (VF => Str) = \_ -> haber_V.s ; - - partAgr : VType -> VPAgr = \vtyp -> vpAgrNone ; - - vpAgrClit : Agr -> VPAgr = \a -> - vpAgrNone ; - - pronArg = \n,p,acc,dat -> - let - paccp = case acc of { - CRefl => <reflPron n p Acc, p,True> ; - CPron ag an ap => <argPron ag an ap Acc, ap,True> ; - _ => <[],P2,False> - } ; - pdatp = case dat of { - CPron ag an ap => <argPron ag an ap dative, ap,True> ; - _ => <[],P2,False> - } ; - peither = case acc of { - CRefl | CPron _ _ _ => True ; - _ => case dat of { - CPron _ _ _ => True ; - _ => False - } - } ; - defaultPronArg = <pdatp.p1 ++ paccp.p1, [], peither> ----- defaultPronArg = <pdatp.p1 ++ paccp.p1, [], orB paccp.p3 pdatp.p3> - in - ---- case <<paccp.p2, pdatp.p2> : Person * Person> of { - ---- <P3,P3> => <"se" ++ paccp.p1, [], True> ; - ---- _ => defaultPronArg - --- } ; - ---- 8/6/2008 efficiency problem in pgf generation: replace the case expr with - ---- a constant produces an error in V3 predication with two pronouns - defaultPronArg ; - - infForm _ _ _ _ = True ; - - mkImperative b p vp = { - s = \\pol,aag => - let - pe = case b of {True => P3 ; _ => p} ; - agr = aag ** {p = pe} ; - clpr = <[],[],False> ; ----e pronArg agr.n agr.p vp.clAcc vp.clDat ; -----e verb = case <aag.n, pol,pe> of { -----e <Sg,Neg,P2> => (vp.s ! VPInfinit Simul clpr.p3).inf ! aag ; -----e _ => (vp.s ! VPImperat).fin ! agr -----e } ; - verb = (vp.s ! VPImperat).fin ! agr ; ----e - neg = vp.neg ! pol ; - compl = neg.p2 ++ clpr.p2 ++ vp.comp ! agr ++ vp.ext ! pol - in - neg.p1 ++ verb ++ bindIf clpr.p3 ++ clpr.p1 ++ compl ; - } ; - - negation : Polarity => (Str * Str) = table { - Pos => <[],[]> ; - Neg => <"no",[]> - } ; - - conjThan = "que" ; - conjThat = "que" ; - subjIf = "si" ; - - - clitInf b cli inf = inf ++ bindIf b ++ cli ; - - relPron : Bool => AAgr => Case => Str = \\b,a,c => - case c of { - Nom | Acc => "que" ; - CPrep P_a => "cuyo" ; - _ => prepCase c ++ "cuyo" - } ; - - pronSuch : AAgr => Str = aagrForms "tál" "tál" "tales" "tales" ; - - quelPron : AAgr => Str = aagrForms "cuál" "cuál" "cuales" "cuales" ; - - partQIndir = [] ; ---- ? - - reflPron : Number -> Person -> Case -> Str = \n,p,c -> - let pro = argPron Fem n p c - in - case p of { - P3 => case c of { - Acc | CPrep P_a => "se" ; - _ => "sí" - } ; - _ => pro - } ; - - argPron : Gender -> Number -> Person -> Case -> Str = - let - cases : (x,y : Str) -> Case -> Str = \me,moi,c -> case c of { - Acc | CPrep P_a => me ; - _ => moi - } ; - cases3 : (x,y,z : Str) -> Case -> Str = \les,leur,eux,c -> case c of { - Acc => les ; - CPrep P_a => leur ; - _ => eux - } ; - in - \g,n,p -> case <<g,n,p> : Gender * Number * Person> of { - <_,Sg,P1> => cases "me" "mí" ; - <_,Sg,P2> => cases "te" "tí" ; - <_,Pl,P1> => cases "nos" "nosotras" ; --- nosotros - <_,Pl,P2> => cases "vos" "vosotras" ; --- vosotros - <Fem,Sg,P3> => cases3 "la" "le" "ella" ; - <_, Sg,P3> => cases3 "lo" "le" "čl" ; - <Fem,Pl,P3> => cases3 "las" "les" "ellas" ; - <_, Pl,P3> => cases3 "los" "les" "ellos" - } ; - - vRefl : VType = VRefl ; - isVRefl : VType -> Bool = \ty -> case ty of { - VRefl => True ; - _ => False - } ; - - auxPassive : Verb = copula ; - - copula = verbBeschH (ser_1 "ser") ; - - haber_V : Verb = verbBeschH (haber_3 "haber") ; - - verbBeschH : Verbum -> Verb = \v -> verbBesch v ** {vtyp = VHabere} ; - -} |