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

1 files changed, 142 insertions, 0 deletions

diff --git a/next-lib/src/spanish/NumeralSpa.gf b/next-lib/src/spanish/NumeralSpa.gf
new file mode 100644
index 000000000..7775c105b
--- /dev/null
+++ b/next-lib/src/spanish/NumeralSpa.gf
@@ -0,0 +1,142 @@
+concrete NumeralSpa of Numeral = CatSpa ** 
+  open CommonRomance, ResRomance, MorphoSpa, 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 "dos"    "doce"       "veinte"    "doscientos"    
+        "segundo" "duodécimo" "vigésimo" "ducentésimo" ;
+lin n3 = 
+  mkTal "tres"   "trece"      "treinta"   "trescientos"   
+        "tercero" "decimotercero" "trigésimo" "tricentesimo" ;
+lin n4 = 
+  mkTal "cuatro" "catorce"    "cuarenta"  "cuatrocientos" 
+        "cuarto" "decimocuarto" "cuadragésimo" "cuadringentesimo" ;
+lin n5 = 
+  mkTal "cinco"  "quince"     "cinquenta" "quinientos"
+        "quinto" "decimoquinto" "quincuagésimo" "guingentésimo" ;
+lin n6 = 
+  mkTal "seis"   "dieciséis"  "sesenta"   "seiscientos"
+        "sexto" "decimosexto" "sexagésimo" "sexcentesimo" ;
+lin n7 = 
+  mkTal "siete"  "diecisiéte" "setenta"   "setecientos"
+        "séptimo" "decimoséptimo" "septuagésimo" "septingentesimo" ;
+lin n8 = 
+  mkTal "ocho"   "dieciocho"  "ochenta"   "ochocientos"
+        "octavo" "decimoctavo" "octogésimo" "octingentésimo" ;
+lin n9 = 
+  mkTal "nueve"  "diecinueve" "noventa"   "novecientos"
+        "noveno" "decimonoveno" "nonagésimo" "noningentésimo"  ;
+
+lin pot01 = 
+  let uno = (mkTal "uno" "once" "diez" "ciento" "primero" "undécimo"
+  "décimo" "centésimo").s in
+  {s =\\f,g => case <f,g> of {
+     <ental pred,_> => [] ;
+     <ental _, NCard Fem> => "una" ;
+     <hundra False,  NCard _> => "cien" ;
+     <hundra True,  NCard Fem> => "ciento" ;
+     _ => uno ! f ! g
+     } ; 
+   n = Pl
+   } ;
+
+lin pot0 d = {s = d.s ; n = Pl} ;
+lin pot110 = spl ((mkTal "diez" [] [] [] "decimo" [] [] []).s ! ental indip) ;
+lin pot111 = spl ((mkTal "once" [] [] [] "undécimo" [] [] []).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 ! g ++ y_CardOrd g ++ e.s ! ental indip ! g ; n = Pl} ;
+lin pot1as2 n = n ;
+lin pot2 d = spl (d.s ! hundra False) ;
+lin pot2plus d e = 
+  {s = \\g => d.s ! hundra True ! g ++ e.s ! g ; n = Pl} ;
+lin pot2as3 n = n ;
+lin pot3 n = spl (\\g => n.s ! NCard Masc ++ mil g) ;
+lin pot3plus n m = {s = \\g => n.s ! NCard Masc ++ mil g ++ m.s ! g ; n = Pl} ;
+
+oper
+  mkTal : (x1,_,_,_,_,_,_,x8 : Str) -> {s : DForm => CardOrd => Str} =
+    \due,dodici,venti,ducento,secondo,dodicesimo,ventesimo,ducentesimo -> 
+    {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 ventesimo g n ;
+       <ton,     NCard _>  => venti ;
+       <ton,     NOrd g n> => regCard ventesimo g n ;
+       <hundra _,  NCard Masc> => ducento ;
+       <hundra _,  NCard Fem> => Predef.tk 2 ducento + "as" ;
+       <hundra _,  NOrd g n> => regCard ducentesimo g n
+       }
+    } ;
+
+  regCard : Str -> Gender -> Number -> Str = \ventesimo ->
+    pronForms (adjSolo ventesimo) ;
+
+  spl : (CardOrd => Str) -> {s : CardOrd => Str ; n : Number} = \s -> {
+    s = s ;
+    n = Pl
+    } ;
+
+  mil : CardOrd -> Str = \g ->
+    (mkTal "mil" [] [] [] "milésimo" [] [] []).s ! ental indip ! g ;
+
+  y_CardOrd : CardOrd -> Str = \co -> case co of {
+    NCard _ => "y" ;
+    _ => []
+    } ;
+
+param 
+  DForm = ental Pred | ton | tiotal | hundra Bool ;
+  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
+    } ;
+
+}