summaryrefslogtreecommitdiff
path: root/examples/numerals/zaiwa.gf
diff options
context:
space:
mode:
authorbringert <unknown>2005-05-11 08:10:23 +0000
committerbringert <unknown>2005-05-11 08:10:23 +0000
commit6ad5b937bb35f6aea2c3ea6018e340bc9c376d44 (patch)
tree2fb8eeb1b0c79def1f39376d4c26718b54265415 /examples/numerals/zaiwa.gf
parent3645de0113f864c0639160747bf9091178397c29 (diff)
Added all missing lincats in numerals grammars.
Diffstat (limited to 'examples/numerals/zaiwa.gf')
-rw-r--r--examples/numerals/zaiwa.gf2
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/numerals/zaiwa.gf b/examples/numerals/zaiwa.gf
index 005a7038f..e40645175 100644
--- a/examples/numerals/zaiwa.gf
+++ b/examples/numerals/zaiwa.gf
@@ -4,10 +4,12 @@ param Size = sg | sub10 | pl ;
oper LinDigit = {s : Str ; size : Size} ;
+lincat Numeral = { s : Str } ;
lincat Digit = LinDigit ;
lincat Sub10 = LinDigit ;
lincat Sub100 = {s : Str ; s2 : Str ; size : Size} ;
lincat Sub1000 = {s : Str ; s2 : Str ; size : Size} ;
+lincat Sub1000000 = { s : Str } ;
oper mkNum : Str -> LinDigit = \u -> {s = u ; size = sub10} ;