Added all missing lincats in numerals grammars.

This commit is contained in:
bringert committed 2005-05-11 08:10:23 +00:00
1 parent 3645de0113
commit 6ad5b937bb
38 files changed
+88 -7

No files matched your search

+2
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} ;