diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-03-16 16:23:39 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-03-16 16:23:39 +0000 |
| commit | 232c9cbb3729df3f78e7cd4e2119af30383c7e14 (patch) | |
| tree | adafd05ee97f2ace8c55741977d94f74f5f310a1 /devel/phrases/Numerals.gf | |
| parent | f7ce8940fa0d53718eb30bfc7d0ef9320bafc673 (diff) | |
thai phrase translator
Diffstat (limited to 'devel/phrases/Numerals.gf')
| -rw-r--r-- | devel/phrases/Numerals.gf | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/devel/phrases/Numerals.gf b/devel/phrases/Numerals.gf new file mode 100644 index 000000000..90aae3cb7 --- /dev/null +++ b/devel/phrases/Numerals.gf @@ -0,0 +1,32 @@ +-- numerals from 1 to 999999 in decimal notation + +flags startcat=Numeral ; + +cat + Numeral ; -- 0.. + Digit ; -- 2..9 + Sub10 ; -- 1..9 + Sub100 ; -- 1..99 + Sub1000 ; -- 1..999 + Sub1000000 ; -- 1..999999 + +fun + num : Sub1000000 -> Numeral ; + + n2, n3, n4, n5, n6, n7, n8, n9 : Digit ; + + pot01 : Sub10 ; -- 1 + pot0 : Digit -> Sub10 ; -- d * 1 + pot110 : Sub100 ; -- 10 + pot111 : Sub100 ; -- 11 + pot1to19 : Digit -> Sub100 ; -- 10 + d + pot0as1 : Sub10 -> Sub100 ; -- coercion of 1..9 + pot1 : Digit -> Sub100 ; -- d * 10 + pot1plus : Digit -> Sub10 -> Sub100 ; -- d * 10 + n + pot1as2 : Sub100 -> Sub1000 ; -- coercion of 1..99 + pot2 : Sub10 -> Sub1000 ; -- m * 100 + pot2plus : Sub10 -> Sub100 -> Sub1000 ; -- m * 100 + n + pot2as3 : Sub1000 -> Sub1000000 ; -- coercion of 1..999 + pot3 : Sub1000 -> Sub1000000 ; -- m * 1000 + pot3plus : Sub1000 -> Sub1000 -> Sub1000000 ; -- m * 1000 + n + |