summaryrefslogtreecommitdiff
path: root/next-lib/src/scandinavian/ResScand.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2009-06-22 15:39:08 +0000
committeraarne <aarne@chalmers.se>2009-06-22 15:39:08 +0000
commite89fdae2fa1626348d8025824a7469252fa85e42 (patch)
treec7d46bbd0494043b4bd6f917a25a7687517d0547 /next-lib/src/scandinavian/ResScand.gf
parent3049b59b35b25381a7c6787444165c200d66e08b (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.gf75
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
-
-
-}