summaryrefslogtreecommitdiff
path: root/examples/numerals/swedish.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-08-04 18:26:48 +0000
committeraarne <aarne@cs.chalmers.se>2008-08-04 18:26:48 +0000
commita9893f45724299e6cc773bbb2fa2cf315fe85206 (patch)
treeb5c6222b2422a3db7bf4dd676aa4872adf22daf4 /examples/numerals/swedish.gf
parenta401820e3718a936cc926c457d29ec145e189be5 (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.gf52
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) ;
+
+
+}