The new Decimal API

2023-08-21 20:14:26 +02:00
parent 58da8deca8
commit fb398c603e
147 changed files with 918 additions and 188 deletions
@@ -1,4 +1,4 @@
-concrete NumeralHun of Numeral = CatHun [Numeral,Digits] **
+concrete NumeralHun of Numeral = CatHun [Numeral,Digits,Decimal] **
  open Prelude, ResHun in {

 lincat
@@ -115,6 +115,13 @@ oper
    D_8 = mkDig "8" ;
    D_9 = mkDig "9" ;

+    PosDecimal d = d ** {hasDot=False} ;
+    NegDecinal d = {
+      s = \\x => "-" ++ BIND ++ d.s ! x ;
+      n = numNumber ;
+      hasDot=False
+    } ;
+
  oper
    mkDig : Str -> TDigit = \s -> {
      s = s ;