moved lib/next-resource to next-lib/src, to enable linking with next-lib as value of GF_LIB_PATH

1 files changed, 111 insertions, 0 deletions

diff --git a/next-lib/src/italian/NumeralIta.gf b/next-lib/src/italian/NumeralIta.gf
new file mode 100644
index 000000000..453caee0f
--- /dev/null
+++ b/next-lib/src/italian/NumeralIta.gf
@@ -0,0 +1,111 @@
+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 => [] ;
+     _ => 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
+    } ;
+
+}