blob: 27a7f93774312168239adb7fd7630ef4db4a3c22 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
include numerals.Abs.gf ;
param DForm = unit | ten | oxy ;
param Size = sg | pl ;
oper LinDigit = {s : DForm => Str ; size : Size} ;
oper LinS100 = {s : Str ; s2 : Str ; size : Size} ;
lincat Numeral = { s : Str } ;
lincat Digit = LinDigit ;
lincat Sub10 = LinDigit ;
lincat Sub100 = LinS100 ;
lincat Sub1000 = LinS100 ;
lincat Sub1000000 = {s : Str} ;
oper mkNum : Str -> Str -> Str -> LinDigit = \u -> \o -> \t ->
{s = table {unit => u ; ten => t + "kùmì" ; oxy => o} ; size = pl} ;
oper mkNum2 : Str -> Str -> LinDigit = \u -> \t ->
{s = table {unit => u ; ten => t + "kùmì" ; oxy => u} ; size = pl} ;
lin num x0 = {s = x0.s } ; -- TODO
lin n2 = mkNum "s`&d>àN" "m'&tlú*" "m'&tl" ;
lin n3 = mkNum2 "mák`&r" "már" ;
lin n4 = mkNum (variants {"fòd>ù*" ; "fwàd>ù*"}) "fód>ú*" (variants {"fód>ú" ;"fód>"}) ;
lin n5 = mkNum (variants {"nt`&fù*" ; "mt`&fù*"}) "nt'&fú*" "nt'&f";
lin n6 = mkNum2 "Nkwà" "Nkwá";
lin n7 = mkNum2 "m'&d>'&fù*" "m'&d>'&f" ;
lin n8 = mkNum (variants {"ntsìsù*" ; "ncìsù*"}) "ntsísú*" "ntsís" ;
lin n9 = mkNum "'&mdlù*" "mdlù*" "'&mdlù" ;
oper pwaser : Size => Str = table {sg => "s'&r" ; pl => "pwá"} ;
oper selsg : Str -> Str -> Size => Str = \s1 -> \attr ->
table {sg => s1 ; pl => s1 ++ attr} ;
oper ss : Str -> LinS100 = \s1 -> {s = s1 ; s2 = s1 ; size = pl } ;
lin pot01 =
{s = table {unit => "táN" ; oxy => "pátlú*" ; ten => "dummy" } ; size = sg};
lin pot0 d = d ;
lin pot110 = ss (variants { "kúmú*" ; "kúmù*" });
lin pot111 = ss ("kúm" ++ "gà" ++ (variants {"s'&r" ; "s'&rnyá"}) ++ "táN") ;
lin pot1to19 d = ss ("kúm" ++ "gà" ++ "pwá" ++ d.s ! oxy) ;
lin pot0as1 n = {s = n.s ! unit ; s2 = n.s ! oxy ; size = n.size };
lin pot1 d = ss (d.s ! ten) ;
lin pot1plus d e = ss (d.s ! ten ++ "gà" ++ (pwaser ! e.size) ++ e.s ! oxy) ;
lin pot1as2 n = n ;
lin pot2 d = ss ((selsg "ghàrú" (d.s ! unit)) ! d.size) ;
lin pot2plus d e = ss ((selsg "ghàrú" (d.s ! unit) ! d.size) ++ "agá" ++ e.s2);
lin pot2as3 n = {s = n.s} ;
lin pot3 n = {s = selsg "dúbú" n.s ! n.size };
lin pot3plus n m = {s = ((selsg "dúbú" n.s) ! n.size) ++ m.s2 };
|
