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

1 files changed, 0 insertions, 114 deletions

diff --git a/next-lib/src/italian/NumeralIta.gf b/next-lib/src/italian/NumeralIta.gf
deleted file mode 100644
index 36a6e7553..000000000
--- a/next-lib/src/italian/NumeralIta.gf
+++ /dev/null
@@ -1,114 +0,0 @@
-concrete NumeralIta of Numeral = CatIta ** 
-  open CommonRomance, ResRomance, MorphoIta, Prelude in {
-
-lincat 
-  Digit = {s : DForm => CardOrd => Str} ;
-  Sub10 = {s : DForm => CardOrd => Str ; n : Number} ;
-  Sub100 = {s : CardOrd => Str ; n : Number} ;
-  Sub1000 = {s : CardOrd => Str ; n : Number} ;
-  Sub1000000 = {s : CardOrd => Str ; n : Number} ;
-
-lin num x = x ;
-
-lin n2 = mkTal "due"     "dodici"      "venti"     "secondo" ;
-lin n3 = mkTal "tre"     "tredici"     "trenta"    "terzo" ;
-lin n4 = mkTal "quattro" "quattordici" "quaranta"  "quarto" ;
-lin n5 = mkTal "cinque"  "quindici"    "cinquanta" "quinto" ;
-lin n6 = mkTal "sei"     "sedici"      "sessanta"  "sesto" ;
-lin n7 = mkTal "sette"   "diciassette" "settanta"  "settimo" ; --- diciasettesimo?
-lin n8 = mkTal "otto"    "diciotto"    "ottanta"   "ottavo" ;
-lin n9 = mkTal "nove"    "diciannove"  "novanta"   "nono" ;
-
-lin pot01 = 
-  let uno = (mkTal "uno" "undici" "dieci" "primo").s in
-  {s =\\f,g => case f of {
-     ental pred => [] ;
-     _ => case g of {
-       NCard Fem => "una" ;
-       _ => uno ! f ! g
-       }
-     } ; 
-   n = Sg} ;
-
-lin pot0 d = {s = d.s ; n = Pl} ;
-lin pot110 = spl ((mkTal "dieci" [] [] "decimo").s ! ental indip) ;
-lin pot111 = spl ((mkTal "undici" [] [] "undicesimo").s ! ental indip) ;
-lin pot1to19 d = spl (d.s ! ton) ;
-lin pot0as1 n = {s = n.s ! ental indip ; n = n.n} ;
-lin pot1 d = spl (d.s ! tiotal) ;
-lin pot1plus d e = 
-  {s = \\g => d.s ! tiotal ! NCard Masc ++ e.s ! ental indip ! g ; n = Pl} ;
-lin pot1as2 n = n ;
-lin pot2 d = spl (\\co => d.s ! ental pred ! NCard Masc ++ 
-  (mkTal "cento" [] [] "centesimo").s ! ental indip ! co) ;
-lin pot2plus d e = 
-  {s = \\g => d.s ! ental pred ! NCard Masc ++ "cento" ++ e.s ! g ; n = Pl} ;
-lin pot2as3 n = n ;
-lin pot3 n = spl (\\co => n.s ! NCard Masc ++ 
-  (mkTal (mille ! n.n) [] [] "millesimo").s ! ental indip ! co) ;
-lin pot3plus n m = {s = \\g => n.s ! NCard Masc ++ mille ! n.n ++ m.s ! g ; n = Pl} ;
-
-oper
-  mkTal : (x1,_,_,x4 : Str) -> {s : DForm => CardOrd => Str} =
-    \due,dodici,venti,secondo -> {s = \\d,co => case <d,co> of {
-       <ental _, NCard _>  => due ;
-       <ental _, NOrd g n> => pronForms (adjSolo secondo) g n ;
-       <tiotal,  NCard _>  => venti ;
-       <tiotal,  NOrd g n> => regCard venti g n ;
-       <ton,     NCard _>  => venti ;
-       <ton,     NOrd g n> => regCard venti g n
-       }
-    } ;
-
-  regCard : Str -> Gender -> Number -> Str = \venti ->
-    pronForms (adjSolo (init venti + "esimo")) ;
-
-  spl : (CardOrd => Str) -> {s : CardOrd => Str ; n : Number} = \s -> {
-    s = s ;
-    n = Pl
-    } ;
-
-oper mille : Number => Str = table {Sg => "mille" ; Pl => "mila"} ;
-param DForm = ental Pred | ton | tiotal  ;
-param Pred = pred | indip ;
-
-
--- numerals as sequences of digits
-
-  lincat 
-    Dig = TDigit ;
-
-  lin
-    IDig d = d ;
-
-    IIDig d i = {
-      s = \\o => d.s ! NCard Masc ++ i.s ! o ;
-      n = Pl
-    } ;
-
-    D_0 = mkDig "0" ;
-    D_1 = mk3Dig "1" "1:o" Sg ; ---- gender
-    D_2 = mk2Dig "2" "2:o" ;
-    D_3 = mk2Dig "3" "3:o" ;
-    D_4 = mkDig "4" ;
-    D_5 = mkDig "5" ;
-    D_6 = mkDig "6" ;
-    D_7 = mkDig "7" ;
-    D_8 = mkDig "8" ;
-    D_9 = mkDig "9" ;
-
-  oper
-    mk2Dig : Str -> Str -> TDigit = \c,o -> mk3Dig c o Pl ;
-    mkDig : Str -> TDigit = \c -> mk2Dig c (c + ":o") ;
-
-    mk3Dig : Str -> Str -> Number -> TDigit = \c,o,n -> {
-      s = table {NCard _ => c ; NOrd _ _ => o} ; ---- gender
-      n = n
-      } ;
-
-    TDigit = {
-      n : Number ;
-      s : CardOrd => Str
-    } ;
-
-}