diff options
| author | aarne <unknown> | 2004-01-29 12:57:32 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-01-29 12:57:32 +0000 |
| commit | d09777a9aaeb580d8e793ad5e572296eb4c351d9 (patch) | |
| tree | 8e6d54d1687bdc772cd67d91d643f246ce023776 /examples/numerals/tukang_besi.gf | |
| parent | fdddeca0d08ba68b564b14359ef9b4a697cdb636 (diff) | |
New order among numerals.
Diffstat (limited to 'examples/numerals/tukang_besi.gf')
| -rw-r--r-- | examples/numerals/tukang_besi.gf | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/examples/numerals/tukang_besi.gf b/examples/numerals/tukang_besi.gf new file mode 100644 index 000000000..f07bdce33 --- /dev/null +++ b/examples/numerals/tukang_besi.gf @@ -0,0 +1,41 @@ +include numerals.Abs.gf ; + +param DForm = u | v ; + +oper LinDigit = {s : DForm => Str } ; + +lincat Digit = LinDigit ; +lincat Sub10 = LinDigit ; +lincat Sub100 = LinDigit ; +lincat Sub1000 = LinDigit ; + +oper bind : Str -> Str -> Str = \a -> \b -> a ++ b ; + +oper mkNum : Str -> LinDigit = \a -> {s = table {_ => a}} ; +oper mkNum2 : Str -> Str -> LinDigit = \a -> \b -> {s = table {u => a ; v => b}} ; + +lin num x = x ; +-- lin n1 mkNum "sa'asa" ; +lin n2 = mkNum "dua" ; +lin n3 = mkNum "tolu" ; +lin n4 = mkNum2 "gana" "hato"; +lin n5 = mkNum "lima" ; +lin n6 = mkNum2 "no'o" "nomo" ; +lin n7 = mkNum2 "pitu" "hitu" ; +lin n8 = mkNum "alu" ; +lin n9 = mkNum "sia" ; + +lin pot01 = mkNum2 "sa'asa" "sa" ; +lin pot0 d = d ; +lin pot110 = {s = table {_ => "ompulu" }}; +lin pot111 = {s = table {u => "ompulu" ++ "sa'asa" ; v => "ompulu" ++ "sa"}} ; +lin pot1to19 d = {s = table {f => "ompulu" ++ d.s ! f}} ; +lin pot0as1 n = n ; +lin pot1 d = {s = table {_ => bind (d.s ! v) "hulu" }} ; +lin pot1plus d e = {s = table {f => (bind (d.s ! v) "hulu") ++ e.s ! f}} ; +lin pot1as2 n = n ; +lin pot2 d = {s = table {_ => bind (d.s ! v) "hatu" }} ; +lin pot2plus d e = {s = table {f => (bind (d.s ! v) "hatu") ++ e.s ! f}} ; +lin pot2as3 n = {s = n.s ! u}; +lin pot3 n = {s = bind (n.s ! v) "riwu" } ; +lin pot3plus n m = {s = (bind (n.s ! v) "riwu") ++ m.s ! u } ; |
