forked from GitHub/gf-rgl
(Dut) Extend vs. Extra
This commit is contained in:
@@ -2,7 +2,7 @@
|
|||||||
|
|
||||||
concrete ExtendDut of Extend =
|
concrete ExtendDut of Extend =
|
||||||
CatDut ** ExtendFunctor
|
CatDut ** ExtendFunctor
|
||||||
- [PastPartAP]
|
- [PastPartAP,ICompAP,IAdvAdv]
|
||||||
with
|
with
|
||||||
(Grammar = GrammarDut) **
|
(Grammar = GrammarDut) **
|
||||||
open
|
open
|
||||||
@@ -12,7 +12,7 @@ concrete ExtendDut of Extend =
|
|||||||
Prelude,
|
Prelude,
|
||||||
ParadigmsDut in {
|
ParadigmsDut in {
|
||||||
|
|
||||||
lin --# notpresent
|
lin
|
||||||
|
|
||||||
PastPartAP vp = { --# notpresent
|
PastPartAP vp = { --# notpresent
|
||||||
s = \\agr,af => let aForm = case vp.isHeavy of { --# notpresent
|
s = \\agr,af => let aForm = case vp.isHeavy of { --# notpresent
|
||||||
@@ -22,4 +22,7 @@ lin --# notpresent
|
|||||||
isPre = notB vp.isHeavy ; --# notpresent
|
isPre = notB vp.isHeavy ; --# notpresent
|
||||||
} ; --# notpresent
|
} ; --# notpresent
|
||||||
|
|
||||||
}
|
ICompAP ap = {s = \\agr => "hoe" ++ ap.s ! agr ! APred} ;
|
||||||
|
|
||||||
|
IAdvAdv adv = {s = "hoe" ++ adv.s} ;
|
||||||
|
}
|
||||||
@@ -1,5 +1,5 @@
|
|||||||
concrete ExtraDut of ExtraDutAbs = CatDut **
|
concrete ExtraDut of ExtraDutAbs = CatDut **
|
||||||
open ResDut, Coordination, Prelude, IrregDut, (P = ParadigmsDut), NounDut in
|
open ResDut, Coordination, Prelude, IrregDut, (P = ParadigmsDut), (E=ExtendDut), NounDut in
|
||||||
{
|
{
|
||||||
|
|
||||||
flags coding=utf8 ;
|
flags coding=utf8 ;
|
||||||
@@ -19,9 +19,9 @@ concrete ExtraDut of ExtraDutAbs = CatDut **
|
|||||||
predVGen v.isAux BeforeObjs v) ; ----
|
predVGen v.isAux BeforeObjs v) ; ----
|
||||||
|
|
||||||
lin
|
lin
|
||||||
ICompAP ap = {s = \\agr => "hoe" ++ ap.s ! agr ! APred} ;
|
ICompAP = E.ICompAP ;
|
||||||
|
|
||||||
IAdvAdv adv = {s = "hoe" ++ adv.s} ;
|
IAdvAdv = E.IAdvAdv ;
|
||||||
|
|
||||||
lincat
|
lincat
|
||||||
VPS = {s : Order => Agr => Str} ;
|
VPS = {s : Order => Agr => Str} ;
|
||||||
|
|||||||
Reference in New Issue
Block a user