summaryrefslogtreecommitdiff
path: root/old-lib/resource/common/TenseX.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2009-12-09 09:47:16 +0000
committeraarne <aarne@chalmers.se>2009-12-09 09:47:16 +0000
commitc8ceed08efcc0bdc1fcbd89bce643d9f52f0991b (patch)
tree5f0b314341c129eba1bc67b8b887fb8a4486fad8 /old-lib/resource/common/TenseX.gf
parent101df06f6c8380328d4266adadac3ab6d1bac0b3 (diff)
moving a few things to deprecated
Diffstat (limited to 'old-lib/resource/common/TenseX.gf')
-rw-r--r--old-lib/resource/common/TenseX.gf18
1 files changed, 0 insertions, 18 deletions
diff --git a/old-lib/resource/common/TenseX.gf b/old-lib/resource/common/TenseX.gf
deleted file mode 100644
index 665bb146d..000000000
--- a/old-lib/resource/common/TenseX.gf
+++ /dev/null
@@ -1,18 +0,0 @@
-concrete TenseX of Tense = open (R = ParamX) in {
-
- lincat
- Tense = {s : Str ; t : R.Tense} ;
- Ant = {s : Str ; a : R.Anteriority} ;
- Pol = {s : Str ; p : R.Polarity} ;
-
- lin
- PPos = {s = []} ** {p = R.Pos} ;
- PNeg = {s = []} ** {p = R.Neg} ;
- TPres = {s = []} ** {t = R.Pres} ;
- TPast = {s = []} ** {t = R.Past} ;
- TFut = {s = []} ** {t = R.Fut} ;
- TCond = {s = []} ** {t = R.Cond} ;
- ASimul = {s = []} ** {a = R.Simul} ;
- AAnter = {s = []} ** {a = R.Anter} ;
-
-}