diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-08-04 18:26:48 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-08-04 18:26:48 +0000 |
| commit | a9893f45724299e6cc773bbb2fa2cf315fe85206 (patch) | |
| tree | b5c6222b2422a3db7bf4dd676aa4872adf22daf4 /examples/numerals/swedish.gf | |
| parent | a401820e3718a936cc926c457d29ec145e189be5 (diff) | |
ported numerals to GF3 and encoded in UTF8; some problematic ones in todo
Diffstat (limited to 'examples/numerals/swedish.gf')
| -rw-r--r-- | examples/numerals/swedish.gf | 52 |
1 files changed, 52 insertions, 0 deletions
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) ; + + +} |
