From c8ceed08efcc0bdc1fcbd89bce643d9f52f0991b Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Wed, 9 Dec 2009 09:47:16 +0000
Subject: moving a few things to deprecated

---
 deprecated/old-lib/resource/common/ParamX.gf | 65 ++++++++++++++++++++++++++++
 1 file changed, 65 insertions(+)
 create mode 100644 deprecated/old-lib/resource/common/ParamX.gf

(limited to 'deprecated/old-lib/resource/common/ParamX.gf')

diff --git a/deprecated/old-lib/resource/common/ParamX.gf b/deprecated/old-lib/resource/common/ParamX.gf
new file mode 100644
index 000000000..65901de66
--- /dev/null
+++ b/deprecated/old-lib/resource/common/ParamX.gf
@@ -0,0 +1,65 @@
+resource ParamX = open Prelude in {
+
+----  flags optimize=noexpand ;
+
+  param
+    Number = Sg | Pl ;
+    Person = P1 | P2 | P3 ;
+    Degree = Posit | Compar | Superl ;
+
+    Anteriority = 
+       Simul 
+     | Anter  --# notpresent
+     ;
+    Tense = 
+       Pres 
+     | Past   --# notpresent
+     | Fut    --# notpresent
+     | Cond   --# notpresent
+     ;
+
+  param
+
+    Polarity    = Pos | Neg ;
+
+    QForm = QDir | QIndir ;
+
+-- Imperatives: True = polite, False = familiar.
+
+    ImpForm = ImpF Number Bool ; 
+
+  oper
+    numImp : ImpForm -> Number = \i -> 
+      case i of {
+        ImpF n _ => n
+        } ;
+
+    conjNumber : Number -> Number -> Number = \m,n -> 
+      case m of {
+        Sg => n ;
+        _  => Pl 
+        } ;
+
+-- For persons, we let the latter argument win ("either you or I am absent"
+-- but "either I or you are absent"). This is not quite clear.
+  
+    conjPerson : Person -> Person -> Person = \_,p -> 
+      p ;
+
+-- To construct a record with a polarity-dependent table.
+
+    polCases : SS -> SS -> {s : Polarity => Str} = \true,false -> {
+      s = table {
+        Pos => true.s ;
+        Neg => false.s
+        }
+      } ;
+
+-- To count the length of a tail in a sequence of digits, e.g. to put commas
+-- as in 1,000,000.
+
+  param
+    DTail = T1 | T2 | T3 ;
+
+
+}
-- 
cgit v1.2.3