using le for AAnter in Chi; adjustments of CompAP rules in Chi

This commit is contained in:
aarne
2013-10-06 21:13:31 +00:00
parent 2623d53963
commit 6a5979a689
6 changed files with 17 additions and 12 deletions

View File

@@ -1,8 +1,8 @@
concrete TenseChi of Tense =
CatChi [Tense,Temp], TenseX [Ant,Pol,AAnter,ASimul,PNeg,PPos] ** open ResChi in {
CatChi [Tense,Temp,Ant], TenseX [Pol,PNeg,PPos] ** open ResChi in {
lin
TTAnt t a = {s = t.s ++ a.s ; t = t.t} ;
TTAnt t a = {s = t.s ++ a.s ; t = case a.t of {APerf => APerf ; _ => t.t}} ;
---- ??
TPres = {s = [] ; t = APlain} ;
@@ -10,4 +10,7 @@ concrete TenseChi of Tense =
TFut = {s = [] ; t = ADurProg} ;
TCond = {s = [] ; t = ADurStat} ;
ASimul = {s = [] ; t = APlain} ;
AAnter = {s = [] ; t = APerf} ;
}