diff options
| author | aarne <aarne@chalmers.se> | 2009-06-22 15:39:08 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2009-06-22 15:39:08 +0000 |
| commit | e89fdae2fa1626348d8025824a7469252fa85e42 (patch) | |
| tree | c7d46bbd0494043b4bd6f917a25a7687517d0547 /next-lib/src/scandinavian/ResScand.gf | |
| parent | 3049b59b35b25381a7c6787444165c200d66e08b (diff) | |
next-lib renamed to lib, lib to old-lib
Diffstat (limited to 'next-lib/src/scandinavian/ResScand.gf')
| -rw-r--r-- | next-lib/src/scandinavian/ResScand.gf | 75 |
1 files changed, 0 insertions, 75 deletions
diff --git a/next-lib/src/scandinavian/ResScand.gf b/next-lib/src/scandinavian/ResScand.gf deleted file mode 100644 index bcd1c7497..000000000 --- a/next-lib/src/scandinavian/ResScand.gf +++ /dev/null @@ -1,75 +0,0 @@ ---1 Scandinavian auxiliary operations - -interface ResScand = DiffScand ** open CommonScand, Prelude in { - ---2 Constants uniformly defined in terms of language-dependent constants - - param - CardOrd = NCard Gender | NOrd AFormSup ; -- sic! (AFormSup) - - oper - agrP3 : Gender -> Number -> Agr = \g,n -> { - gn = gennum g n ; - p = P3 - } ; - - Noun = {s : Number => Species => Case => Str ; g : Gender} ; - --- This function is here because it depends on $verbHave, auxFut, auxCond$. - - predV : Verb -> VP = \verb -> - let - diath = case verb.vtype of { - VPass => Pass ; - _ => Act - } ; - vfin : Tense -> Str = \t -> verb.s ! vFin t diath ; - vsup = verb.s ! VI (VSupin diath) ; --# notpresent - vinf = verb.s ! VI (VInfin diath) ; - - auxv = case hasAuxBe verb of { - True => verbBe.s ; - _ => verbHave.s - } ; - - har : Tense -> Str = \t -> auxv ! vFin t Act ; - ha : Str = auxv ! VI (VInfin Act) ; - - vf : Str -> Str -> {fin,inf : Str} = \fin,inf -> { - fin = fin ; inf = inf ++ verb.part - } ; - - in { - s = table { - VPFinite t Simul => case t of { --- Pres | Past => vf (vfin t) [] ; -- the general rule - Past => vf (vfin t) [] ; --# notpresent - Fut => vf auxFut vinf ; --# notpresent - Cond => vf auxCond vinf ; --# notpresent - Pres => vf (vfin t) [] - } ; - VPFinite t Anter => case t of { --# notpresent - Pres | Past => vf (har t) vsup ; --# notpresent - Fut => vf auxFut (ha ++ vsup) ; --# notpresent - Cond => vf auxCond (ha ++ vsup) --# notpresent - } ; --# notpresent - VPImperat => vf (verb.s ! VF (VImper diath)) [] ; - VPInfinit Anter => vf [] (ha ++ vsup) ; --# notpresent - VPInfinit Simul => vf [] vinf - } ; - a1 : Polarity => Str = negation ; - n2 : Agr => Str = \\a => case verb.vtype of { - VRefl => reflPron a ; - _ => [] - } ; - a2 : Str = [] ; - ext : Str = [] ; - en2,ea2,eext : Bool = False -- indicate if the field exists - } ; - --- needed for VP conjunction - param - VPIForm = VPIInf | VPISup ; ---- sup not yet used - - -} |
