diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-03-05 09:50:29 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-03-05 09:50:29 +0000 |
| commit | f6242702f5b1c42a81cad02e44a0f203b80cd497 (patch) | |
| tree | 84c55bdbb5f999470088a1726b8651cc27abe124 /eclipse/examples/functors | |
| parent | f4fb8fe57d309c05c46e8d7459e550a1b7c6c4d9 (diff) | |
GFEP: updated examples
Diffstat (limited to 'eclipse/examples/functors')
| -rw-r--r-- | eclipse/examples/functors/Foods.gf | 16 | ||||
| -rw-r--r-- | eclipse/examples/functors/FoodsEng.gf | 8 | ||||
| -rw-r--r-- | eclipse/examples/functors/FoodsGer.gf | 5 | ||||
| -rw-r--r-- | eclipse/examples/functors/FoodsI.gf | 28 | ||||
| -rw-r--r-- | eclipse/examples/functors/LexFoods.gf | 15 | ||||
| -rw-r--r-- | eclipse/examples/functors/LexFoodsEng.gf | 16 | ||||
| -rw-r--r-- | eclipse/examples/functors/LexFoodsGer.gf | 18 |
7 files changed, 0 insertions, 106 deletions
diff --git a/eclipse/examples/functors/Foods.gf b/eclipse/examples/functors/Foods.gf deleted file mode 100644 index 5328473c3..000000000 --- a/eclipse/examples/functors/Foods.gf +++ /dev/null @@ -1,16 +0,0 @@ --- Abstract Syntax -abstract Foods = { - - flags startcat = Phrase ; - - cat - Phrase ; Item ; Kind ; Quality ; - - fun - Is : Item -> Quality -> Phrase ; - This, That, These, Those : Kind -> Item ; - QKind : Quality -> Kind -> Kind ; - Wine, Cheese, Fish, Pizza : Kind ; - Very : Quality -> Quality ; - Fresh, Warm, Italian, Expensive, Delicious, Boring : Quality ; -} diff --git a/eclipse/examples/functors/FoodsEng.gf b/eclipse/examples/functors/FoodsEng.gf deleted file mode 100644 index 9337b2f6e..000000000 --- a/eclipse/examples/functors/FoodsEng.gf +++ /dev/null @@ -1,8 +0,0 @@ --- Functor Instantiation ---# -path=.:/home/john/.cabal/share/gf-3.2.9/lib/present -concrete FoodsEng of Foods = FoodsI - [Pizza] with - (Syntax = SyntaxEng), - (LexFoods = LexFoodsEng) ** - open SyntaxEng, ParadigmsEng in { - lin Pizza = mkCN (mkA "Italian") (mkN "pie") ; -} diff --git a/eclipse/examples/functors/FoodsGer.gf b/eclipse/examples/functors/FoodsGer.gf deleted file mode 100644 index 59e48b548..000000000 --- a/eclipse/examples/functors/FoodsGer.gf +++ /dev/null @@ -1,5 +0,0 @@ --- Functor Instantiation ---# -path=.:/home/john/.cabal/share/gf-3.2.9/lib/present -concrete FoodsGer of Foods = FoodsI with - (Syntax = SyntaxGer), - (LexFoods = LexFoodsGer) ; diff --git a/eclipse/examples/functors/FoodsI.gf b/eclipse/examples/functors/FoodsI.gf deleted file mode 100644 index a01da068f..000000000 --- a/eclipse/examples/functors/FoodsI.gf +++ /dev/null @@ -1,28 +0,0 @@ --- Functor --- (a module that opens one or more interfaces) -incomplete concrete FoodsI of Foods = open Syntax, LexFoods in { -lincat - Phrase = Cl ; - Item = NP ; - Kind = CN ; - Quality = AP ; -lin - Is item quality = mkCl item quality ; - This kind = mkNP this_Det kind ; - That kind = mkNP that_Det kind ; - These kind = mkNP these_Det kind ; - Those kind = mkNP those_Det kind ; - QKind quality kind = mkCN quality kind ; - Very quality = mkAP very_AdA quality ; - - Wine = mkCN wine_N ; - Pizza = mkCN pizza_N ; - Cheese = mkCN cheese_N ; - Fish = mkCN fish_N ; - Fresh = mkAP fresh_A ; - Warm = mkAP warm_A ; - Italian = mkAP italian_A ; - Expensive = mkAP expensive_A ; - Delicious = mkAP delicious_A ; - Boring = mkAP boring_A ; -} diff --git a/eclipse/examples/functors/LexFoods.gf b/eclipse/examples/functors/LexFoods.gf deleted file mode 100644 index 0d4ca4be4..000000000 --- a/eclipse/examples/functors/LexFoods.gf +++ /dev/null @@ -1,15 +0,0 @@ --- Lexicon Interface --- (a resource which contains only oper TYPES) -interface LexFoods = open Syntax in { -oper - wine_N : N ; - pizza_N : N ; - cheese_N : N ; - fish_N : N ; - fresh_A : A ; - warm_A : A ; - italian_A : A ; - expensive_A : A ; - delicious_A : A ; - boring_A : A ; -} diff --git a/eclipse/examples/functors/LexFoodsEng.gf b/eclipse/examples/functors/LexFoodsEng.gf deleted file mode 100644 index 5f4243d35..000000000 --- a/eclipse/examples/functors/LexFoodsEng.gf +++ /dev/null @@ -1,16 +0,0 @@ --- Lexicon Instance -instance LexFoodsEng of LexFoods = open SyntaxEng, ParadigmsEng in { -flags - coding=utf8 ; -oper - wine_N = mkN "wine" ; - pizza_N = mkN "pizza" ; - cheese_N = mkN "cheese" ; - fish_N = mkN "fish" ; - fresh_A = mkA "fresh" ; - warm_A = mkA "warm" ; - italian_A = mkA "Italian" ; - expensive_A = mkA "expensive" ; - delicious_A = mkA "delicious" ; - boring_A = mkA "boring" ; -} diff --git a/eclipse/examples/functors/LexFoodsGer.gf b/eclipse/examples/functors/LexFoodsGer.gf deleted file mode 100644 index 7772416be..000000000 --- a/eclipse/examples/functors/LexFoodsGer.gf +++ /dev/null @@ -1,18 +0,0 @@ --- Lexicon Instance -instance LexFoodsGer of LexFoods = open SyntaxGer, ParadigmsGer in { -flags - coding=utf8 ; -oper - wine_N = mkN "Wein" ; - pizza_N = mkN "Pizza" "Pizzen" feminine ; - cheese_N = mkN "Käse" "Käsen" masculine ; - fish_N = mkN "Fisch" ; - fresh_A = mkA "frisch" ; - warm_A = mkA "warm" "wärmer" "wärmste" ; - italian_A = mkA "italienisch" ; - expensive_A = mkA "teuer" ; - delicious_A = mkA "köstlich" ; - boring_A = mkA "langweilig" ; - - testy_A = mkA "testy" ; -} |
