took tense linearizations apart from Common/Cat to Tense, for bettter structure of lib

2009-12-03 10:53:14 +00:00
parent da624445cd
commit e6f7489ad7
35 changed files with 127 additions and 96 deletions
@@ -0,0 +1,11 @@
+concrete TenseRon of Tense = 
+  CatRon [Tense,Temp], TenseX [Ant,Pol,AAnter,ASimul,PNeg,PPos] ** open ResRon in {
+
+  lin
+    TTAnt t a = {s = a.s ++ t.s ; a = a.a ; t = t.t} ;
+    TPres = {s = []} ** {t = RPres} ;
+    TPast = {s = []} ** {t = RPast} ;   --# notpresent
+    TFut  = {s = []} ** {t = RFut} ;    --# notpresent
+    TCond = {s = []} ** {t = RCond} ;   --# notpresent
+
+}