mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 11:42:49 -06:00
Use GenNum in the Imp lincat instead of the old ImpF
This commit is contained in:
@@ -12,7 +12,7 @@ concrete CatBul of Cat = CommonX ** open ResBul, Prelude in {
|
|||||||
-- Sentence
|
-- Sentence
|
||||||
|
|
||||||
Cl = {s : ResBul.Tense => Anteriority => Polarity => Order => Str} ;
|
Cl = {s : ResBul.Tense => Anteriority => Polarity => Order => Str} ;
|
||||||
Imp = {s : Polarity => ImpForm => Str} ;
|
Imp = {s : Polarity => GenNum => Str} ;
|
||||||
|
|
||||||
-- Question
|
-- Question
|
||||||
|
|
||||||
|
|||||||
@@ -3,7 +3,8 @@ concrete PhraseBul of Phrase = CatBul ** open Prelude, ResBul in {
|
|||||||
lin
|
lin
|
||||||
UttS s = s ;
|
UttS s = s ;
|
||||||
UttQS qs = {s = qs.s ! QDir} ;
|
UttQS qs = {s = qs.s ! QDir} ;
|
||||||
UttImpSg pol imp = {s = pol.s ++ imp.s ! pol.p ! ImpF Sg False} ;
|
UttImpSg pol imp = {s = pol.s ++ imp.s ! pol.p ! GSg Masc} ;
|
||||||
UttImpPl pol imp = {s = pol.s ++ imp.s ! pol.p ! ImpF Pl False} ;
|
UttImpPl pol imp = {s = pol.s ++ imp.s ! pol.p ! GPl} ;
|
||||||
UttImpPol pol imp = {s = pol.s ++ imp.s ! pol.p ! ImpF Sg True } ;
|
UttImpPol pol imp = {s = pol.s ++ imp.s ! pol.p ! GPl} ;
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -6,15 +6,9 @@ concrete SentenceBul of Sentence = CatBul ** open Prelude, ResBul in {
|
|||||||
PredVP np vp = mkClause (np.s ! Nom) np.a vp ;
|
PredVP np vp = mkClause (np.s ! Nom) np.a vp ;
|
||||||
|
|
||||||
ImpVP vp = {
|
ImpVP vp = {
|
||||||
s = \\p,i =>
|
s = \\p,gn =>
|
||||||
let gn : GenNum =
|
let agr = {gn = gn ; p = P2} ;
|
||||||
case i of {
|
verb = vp.imp ! p ! numGenNum gn ;
|
||||||
ImpF _ True => GPl ;
|
|
||||||
ImpF Sg _ => GSg (variants {Masc; Fem; Neut}) ;
|
|
||||||
ImpF Pl _ => GPl
|
|
||||||
} ;
|
|
||||||
agr = {gn = gn ; p = P2} ;
|
|
||||||
verb = vp.imp ! p ! numImp i ;
|
|
||||||
compl = vp.s2 ! agr
|
compl = vp.s2 ! agr
|
||||||
in
|
in
|
||||||
verb ++ compl
|
verb ++ compl
|
||||||
|
|||||||
Reference in New Issue
Block a user