next-lib renamed to lib, lib to old-lib

1 files changed, 0 insertions, 65 deletions

diff --git a/next-lib/src/common/ParamX.gf b/next-lib/src/common/ParamX.gf
deleted file mode 100644
index 65901de66..000000000
--- a/next-lib/src/common/ParamX.gf
+++ /dev/null
@@ -1,65 +0,0 @@
-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 ;
-
-
-}