make it possible to extend numberals beyound 1000000
This commit is contained in:
1 parent
e7b1c47300
commit
1b4762c436
5 files changed
+36
-30
No files matched your search
@@ -80,7 +80,7 @@ concrete CatEng of Cat = CommonX - [Pol,SC,CAdv] ** open ResEng, Prelude in {
|
||||
|
||||
-- Numeral
|
||||
|
||||
Numeral = {s : CardOrd => Case => Str ; n : Number} ;
|
||||
Numeral = {s : Bool => CardOrd => Case => Str ; n : Number} ;
|
||||
Digits = {s : CardOrd => Case => Str ; n : Number ; tail : DTail} ;
|
||||
|
||||
-- Structural
|
||||
|
||||
Reference in new issue
Block a user