use BIND in IIDig for all languages in the library

This commit is contained in:
krasimir
2015-06-11 12:00:57 +00:00
parent 0804f386ff
commit 3c2740c079
24 changed files with 39 additions and 39 deletions

View File

@@ -1,4 +1,4 @@
concrete NumeralLat of Numeral = CatLat ** open ResLat in {
concrete NumeralLat of Numeral = CatLat ** open ResLat,Prelude in {
--
--lincat
-- Digit = {s : DForm => CardOrd => Str} ;
@@ -51,7 +51,7 @@ concrete NumeralLat of Numeral = CatLat ** open ResLat in {
IDig d = {s = d.s ! one; unit = ten} ;
IIDig d i = {
s = d.s ! i.unit ++ i.s ;
s = d.s ! i.unit ++ BIND ++ i.s ;
unit = inc i.unit
} ;