From 164cf8147711cd9d32067e1ad99840b9cc344cd8 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Sun, 3 Nov 2024 20:07:06 +0100 Subject: [PATCH] minimal extensions to Numeral --- src/icelandic/NumeralIce.gf | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/icelandic/NumeralIce.gf b/src/icelandic/NumeralIce.gf index 640e8081..48813668 100644 --- a/src/icelandic/NumeralIce.gf +++ b/src/icelandic/NumeralIce.gf @@ -7,7 +7,8 @@ concrete NumeralIce of Numeral = CatIce [Numeral,Digits,Decimal] ** open Prelude lincat Digit = {s : DForm => CardOrd => Str} ; Sub10 = {s : DForm => CardOrd => Str ; size : Size} ; - Sub100, Sub1000, Sub1000000 = {s : CardOrd => Str ; size : Size} ; + Sub100, Sub1000, Sub1000000, Sub1000000000, Sub1000000000000 = + {s : CardOrd => Str ; size : Size} ; lin num x = { @@ -117,6 +118,9 @@ concrete NumeralIce of Numeral = CatIce [Numeral,Digits,Decimal] ** open Prelude } ; size = pl } ; + pot3as4 n = n ; + + pot4as5 n = n ; oper