diff options
| author | aarne <unknown> | 2003-11-10 15:45:42 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-10 15:45:42 +0000 |
| commit | e470c6281fc2ee7f53fa0ae41d76c30bb52b0f0b (patch) | |
| tree | bacd93bf8b07d653cf3119503fdf604a2466f556 /grammars/numerals/Numerals.gf | |
| parent | a931676d902033fdef17e7e086c40f5c753e9844 (diff) | |
New numeral grammars.
Diffstat (limited to 'grammars/numerals/Numerals.gf')
| -rw-r--r-- | grammars/numerals/Numerals.gf | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/grammars/numerals/Numerals.gf b/grammars/numerals/Numerals.gf index c0e293059..b725070dc 100644 --- a/grammars/numerals/Numerals.gf +++ b/grammars/numerals/Numerals.gf @@ -1,4 +1,4 @@ --- numerals from 1 to 999999 in decimal notation. AR 1998 -- 2003 +-- numerals from 1 to 999999 in decimal notation abstract Numerals = { @@ -31,10 +31,4 @@ fun pot2as3 : Sub1000 -> Sub1000000 ; -- coercion of 1..999 pot3 : Sub1000 -> Sub1000000 ; -- m * 1000 pot3plus : Sub1000 -> Sub1000 -> Sub1000000 ; -- m * 1000 + n - -data - Numeral = num ; - Digit = n2 | n3 | n4 | n5 | n6 | n7 | n8 | n9 ; - Sub10 = pot01 | pot0 ; - Sub100 = pot110 | pot111 | pot1to19 | pot0as1 | pot1 | pot1plus ; } |