Added all missing lincats in numerals grammars.

This commit is contained in:
bringert
2005-05-11 08:10:23 +00:00
parent c8de5fc0da
commit 9699fe1651
38 changed files with 88 additions and 7 deletions

View File

@@ -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} ;