summaryrefslogtreecommitdiff
path: root/examples/numerals/totonac.gf
diff options
context:
space:
mode:
authorjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
committerjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
commitf5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch)
tree946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/numerals/totonac.gf
parent8e1c6cca407c82fc09569d80c231b8d256735989 (diff)
Remove contribs and examples
Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb
Diffstat (limited to 'examples/numerals/totonac.gf')
-rw-r--r--examples/numerals/totonac.gf111
1 files changed, 0 insertions, 111 deletions
diff --git a/examples/numerals/totonac.gf b/examples/numerals/totonac.gf
deleted file mode 100644
index 8e7e89d33..000000000
--- a/examples/numerals/totonac.gf
+++ /dev/null
@@ -1,111 +0,0 @@
-concrete totonac of Numerals = {
--- include numerals.Abs.gf ;
-
-oper mk20Ten : Str -> Str -> Str -> Size -> LinDigit =
- \tri -> \fiche -> \ext -> \sz ->
- { s = table {unit => tri ; maaunit => "maa" ++ tri ; twenty => fiche ; extra => ext } ; even20 = ten ; size = sz} ;
-
-oper mkEven20 : Str -> Str -> Str -> Size -> LinDigit =
- \se -> \trifichid -> \ext -> \sz ->
- { s = table {unit => se ; maaunit => "maa" ++ se ; twenty => trifichid ; extra => ext } ; even20 = even ; size = sz} ;
-
-param Even20 = ten | even ;
-param DForm = unit | maaunit | extra | twenty ;
-param Size = one | two | three | four | five | pl ;
-
-lincat Numeral = {s : Str} ;
-oper LinDigit = {s : DForm => Str ; even20 : Even20 ; size : Size} ;
-
-lincat Digit = LinDigit ;
-lincat Sub10 = LinDigit ;
-lincat Sub100 = {s : Str ; tenpsize : Size ; s2 : Str} ;
-lincat Sub1000 = {s : Str } ;
-lincat Sub1000000 = {s : Str} ;
-lin num x0 =
- {s = x0.s} ;
-lin n2 = mkEven20 "t~u3" "pus^um" [] two;
-lin n3 = mk20Ten "itun" ("pus^um" ++ "maa" ++ "kaawi") [] two;
-lin n4 = mkEven20 "t~a~at" (variants {"pus^um" ++ "pus^um" ; "tiy~u~u" ++ "pus^um"}) [] three;
-lin n5 = mk20Ten (variants {"kitis" ; "kic/is"})
- (variants {("paha" ++ "sye<ntu" ++ "~a") ;
- "pus^um" ++ "pus^um" ++ "maa" ++ "kaawi" ;
- "tiy~u~u" ++ "pus^um" ++ "maa" ++ "kaawi" }) [] three;
-lin n6 = mkEven20 "c^aas^an"
- (variants {("pus^um" ++ "pus^um" ++ "pus^um") ;
- "tutun" ++ "pus^um" }) "~a" four;
-lin n7 = mk20Ten "tuhun" (variants {("pus^um" ++ "pus^um" ++ "pus^um" ++ "lii" ++ "~a" ++ "kaawi" ) ; ("tutun" ++ "pus^um" ++ "maa" ++ "kaawi")}) [] four ;
-lin n8 = mkEven20 "c/iyan" (variants {("t~a~ati" ++ "pus^um") ; ("maa" ++ "t~a~ati" ++ "pus^um")}) ("lii" ++ "~a") five ;
-lin n9 = mk20Ten "nahaac/a" ("t~a~ati" ++ "pus^um" ++ "maa" ++ "kaawi") [] five;
-
-oper addkaawi : Size => Str = table {sz => "maa" ++ "kaawi" ++ mk5twenty ! sz };
-
-oper mk5twenty : Size => Str = table {
- one => variants {("maa" ++ "kic/is") ; "kic/is"} ++ "pus^um";
- two => "c^aas^an" ++ "pus^um";
- three => "tuhun" ++ "pus^um";
- four => "c/iyan" ++ "pus^um";
- _ => "nahaac/a" ++ "pus^um"
-} ;
-
-oper mktwenty : Str -> Str -> Str -> Str -> Str -> Size => Str =
- \a1 -> \a2 -> \a3 -> \a4 -> \a5 -> table {
- one => a1 ++ "pus^um" ;
- two => a2 ++ "pus^um" ;
- three => a3 ++ "pus^um" ;
- four => a4 ++ "pus^um" ;
- _ => a5 ++ "pus^um"
-} ;
-
-oper get20 : Str -> Size -> Size -> Str = \df -> \sz1 -> \sz2 ->
- table {one => mk5twenty ;
- two => mktwenty ("maa" ++ "kaawi")
- ("maa" ++ "kaawi" ++ "tun")
- ("maa" ++ "kaawi" ++ "t~u3")
- ("maa" ++ "kaawi" ++ "itun")
- ("maa" ++ "kaawi" ++ "t~a~at") ;
- three => addkaawi ;
- _ => table {_ => df } } ! sz1 ! sz2 ;
-
-lin pot01 =
- {s = table {unit => "tun" ; maaunit => "tun" ; tfive => "kic/is" ++ "pus^um" } ; even20 = ten ; size = one};
-lin pot0 d =
- {s = d.s ; even20 = d.even20 ; size = one} ;
-lin pot110 =
- {s = "kaawi" ; tenpsize = one ; s2 = "tun"} ;
-lin pot111 =
- {s = "kaawi" ++ "tun" ; tenpsize = one ; s2 = "tun" } ;
-lin pot1to19 d =
- {s = "kaawi" ++ d.s ! unit ; tenpsize = one ; s2 = d.s ! unit } ;
-lin pot0as1 n =
- {s = n.s ! maaunit ; tenpsize = one ; s2 = n.s ! maaunit} ;
-lin pot1 d =
- {s = d.s ! twenty ;
- tenpsize = d.size ;
- s2 = [] } ;
-
-lin pot1plus d e =
- {s = table {even => d.s ! twenty ++ d.s ! extra ++ e.s ! maaunit;
- ten => d.s ! twenty ++ e.s ! unit} ! (d.even20) ;
- tenpsize = d.size ;
- s2 = table {even => e.s ! maaunit ; ten => e.s ! unit} ! d.even20} ;
-
-lin pot1as2 n = {s = n.s} ;
-
-lin pot2 d =
- {s = variants {get20 (d.s ! maaunit ++ "sye<ntu") d.size one ;
- d.s ! maaunit ++ "sye<ntu" }};
-lin pot2plus d e =
- {s = variants {(get20 (d.s ! maaunit ++ "sye<ntu") d.size e.tenpsize) ++ e.s2;
- d.s ! maaunit ++ "sye<ntu" ++ e.s}} ;
-lin pot2as3 n =
- {s = n.s } ;
-lin pot3 n =
- {s = n.s ++ "mil" } ;
-lin pot3plus n m =
- {s = n.s ++ "mil" ++ "lii" ++ "~a" ++ m.s } ;
-
-
-
-
-
-}