french in exper started

lib/resource/exper/romance/DiffRomance.gf

@@ -0,0 +1,108 @@
+--1 Differences between Romance languages
+
+interface DiffRomance = open CommonRomance, Prelude in {
+
+-- The first eight constants show the essential differences
+-- between French, Italian, and Romance syntaxes (as regards the
+-- resource API). The other constants are either derivatively
+-- dependent, or have as values strings, which are language-dependent
+-- anyway.
+
+
+--2 Constants whose definitions fundamentally depend on language
+
+-- Prepositions that fuse with the article
+-- (Fre, Spa "de", "a"; Ita also "con", "da", "in", "su).
+
+  param Prepos ;
+
+-- Which types of verbs exist, in terms of auxiliaries.
+-- (Fre, Ita "avoir", "être", and refl; Spa only "haber" and refl).
+
+  param VType ;
+
+-- Derivatively, if/when the participle agrees to the subject.
+-- (Fre "elle est partie", Ita "lei è partita", Spa not)
+
+  oper partAgr   : VType -> VPAgr ;
+
+-- Whether participle agrees to foregoing clitic.
+-- (Fre "je l'ai vue", Spa "yo la he visto")
+
+  oper vpAgrClit : Agr -> VPAgr ;
+
+-- Whether a preposition is repeated in conjunction
+-- (Fre "la somme de 3 et de 4", Ita "la somma di 3 e 4").
+
+  oper conjunctCase : NPForm -> NPForm ;
+
+-- How infinitives and clitics are placed relative to each other
+-- (Fre "la voir", Ita "vederla"). The $Bool$ is used for indicating
+-- if there are any clitics.
+
+  oper clitInf : Bool -> Str -> Str -> Str ;
+
+-- To render pronominal arguments as clitics and/or ordinary complements. 
+-- Returns $True$ if there are any clitics.
+
+  oper pronArg : Number -> Person -> CAgr -> CAgr -> Str * Str * Bool ;
+
+-- To render imperatives (with their clitics etc).
+
+  oper mkImperative : Bool -> Person -> CommonRomance.VP -> {s : Polarity => AAgr => Str} ;
+
+
+--2 Constants that must derivatively depend on language
+
+  param NPForm = Ton Case | Aton Case | Poss {g : Gender ; n : Number} ; --- AAgr
+
+  oper dative   : Case ;
+  oper genitive : Case ;
+
+  vRefl   : VType ;
+  isVRefl : VType -> Bool ;
+
+
+--2 Strings
+
+  prepCase  : Case -> Str ;
+
+  partitive : Gender -> Case -> Str ;
+
+  artDef    : Gender -> Number -> Case -> Str ;
+  artIndef  : Gender -> Number -> Case -> Str ;
+
+-- This is the definite article in Italian, $prepCase c$ in French and Spanish.
+
+  possCase  : Gender -> Number -> Case -> Str ;
+
+  auxVerb   : VType -> (VF => Str) ;
+  negation  : Polarity => (Str * Str) ;
+  copula    : Verb ;
+
+  conjThan  : Str ;
+  conjThat  : Str ;
+
+  subjIf    : Str ;
+
+  relPron   : Bool => AAgr => Case => Str ;
+  pronSuch  : AAgr => Str ;
+
+  partQIndir : Str ; -- ce, ciò
+
+  reflPron : Number -> Person -> Case -> Str ;
+--  argPron  : Gender -> Number -> Person -> Case -> Str ;
+
+  auxPassive : Verb ;
+
+
+--2 Contants needed in type signatures above
+
+param
+  Case = Nom | Acc | CPrep Prepos ; 
+
+oper
+  Verb = {s : VF => Str ; vtyp : VType} ;
+
+}
+