From a9893f45724299e6cc773bbb2fa2cf315fe85206 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 4 Aug 2008 18:26:48 +0000 Subject: ported numerals to GF3 and encoded in UTF8; some problematic ones in todo --- examples/numerals/swedish.gf | 52 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 52 insertions(+) create mode 100644 examples/numerals/swedish.gf (limited to 'examples/numerals/swedish.gf') diff --git a/examples/numerals/swedish.gf b/examples/numerals/swedish.gf new file mode 100644 index 000000000..bb7ea17e1 --- /dev/null +++ b/examples/numerals/swedish.gf @@ -0,0 +1,52 @@ +concrete swedish of Numerals = { +-- include numerals.Abs.gf ; + +param DForm = ental | ton | tiotal ; + +lincat Numeral = { s : Str } ; +oper LinDigit = {s : DForm => Str} ; +lincat Digit = LinDigit ; + +lincat Sub10 = {s : DForm => Str} ; +lincat Sub100 = { s : Str } ; +lincat Sub1000 = { s : Str } ; +lincat Sub1000000 = { s : Str } ; + +oper + mkTal : Str -> Str -> Str -> LinDigit = \två, tolv, tjugo -> + {s = table {ental => två ; ton => tolv ; tiotal => tjugo}} ; + + regTal : Str -> LinDigit = \fem -> + mkTal fem (fem + "ton") (fem + "tio") ; + + ss : Str -> {s : Str} = \s -> {s = s} ; + +lin + num x = x ; + + n2 = mkTal "två" "tolv" "tjugo" ; + n3 = mkTal "tre" "tretton" "trettio" ; + n4 = mkTal "fyra" "fjorton" "fyrtio" ; + n5 = regTal "fem" ; + n6 = regTal "sex" ; + n7 = mkTal "sju" "sjutton" "sjuttio" ; + n8 = mkTal "åtta" "arton" "åttio" ; + n9 = mkTal "nio" "nitton" "nittio" ; + + pot01 = {s = table {f => "ett"}} ; + pot0 d = {s = table {f => d.s ! f}} ; + pot110 = ss "tio" ; + pot111 = ss "elva" ; + pot1to19 d = ss (d.s ! ton) ; + pot0as1 n = ss (n.s ! ental) ; + pot1 d = ss (d.s ! tiotal) ; + pot1plus d e = ss (d.s ! tiotal ++ e.s ! ental) ; + pot1as2 n = n ; + pot2 d = ss (d.s ! ental ++ "hundra") ; + pot2plus d e = ss (d.s ! ental ++ "hundra" ++ e.s) ; + pot2as3 n = n ; + pot3 n = ss (n.s ++ "tusen") ; + pot3plus n m = ss (n.s ++ "tusen" ++ m.s) ; + + +} -- cgit v1.2.3