summaryrefslogtreecommitdiff
path: root/eclipse/examples/hello
diff options
context:
space:
mode:
Diffstat (limited to 'eclipse/examples/hello')
-rw-r--r--eclipse/examples/hello/AbsCat.gf5
-rw-r--r--eclipse/examples/hello/HelloAbs.gf12
-rw-r--r--eclipse/examples/hello/HelloEng.gf21
-rw-r--r--eclipse/examples/hello/ResEng.gf8
4 files changed, 0 insertions, 46 deletions
diff --git a/eclipse/examples/hello/AbsCat.gf b/eclipse/examples/hello/AbsCat.gf
deleted file mode 100644
index dac5c07db..000000000
--- a/eclipse/examples/hello/AbsCat.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-abstract AbsCat = {
-
- cat Greeting ; Recipient ;
-
-};
diff --git a/eclipse/examples/hello/HelloAbs.gf b/eclipse/examples/hello/HelloAbs.gf
deleted file mode 100644
index 70ab490bf..000000000
--- a/eclipse/examples/hello/HelloAbs.gf
+++ /dev/null
@@ -1,12 +0,0 @@
-abstract HelloAbs = AbsCat [Greeting, Recipient] ** {
-
- flags startcat = Greeting ;
-
- cat Farewell ;
-
- fun
- Hello : Recipient -> Greeting ;
- Goodbye : Recipient -> Farewell ;
- World, Parent, Friends : Recipient ;
-
-}
diff --git a/eclipse/examples/hello/HelloEng.gf b/eclipse/examples/hello/HelloEng.gf
deleted file mode 100644
index d67843ef0..000000000
--- a/eclipse/examples/hello/HelloEng.gf
+++ /dev/null
@@ -1,21 +0,0 @@
-concrete HelloEng of HelloAbs = ResEng ** {
-
- lincat
- Greeting, Farewell = {s : Str} ;
- Recipient = {s : Gender => Str} ;
-
- lin
- Hello recip = {s = "hello" ++ recip.s ! Masc} ;
- Goodbye recip = {s = "goodbye" ++ recip.s ! Fem} ;
-
- World = {s = \\_ => "world"} ;
- Parent = { s = table {
- Masc => "dad" ; Fem => "mum"
- } } ;
- Friends = superate "friends" ;
-
- oper
- superate : Str -> Recipient = \s ->
- lin Recipient { s = \\_ => "super" ++ s } ;
-
-}
diff --git a/eclipse/examples/hello/ResEng.gf b/eclipse/examples/hello/ResEng.gf
deleted file mode 100644
index 1ecf97a4d..000000000
--- a/eclipse/examples/hello/ResEng.gf
+++ /dev/null
@@ -1,8 +0,0 @@
---# -path=.:../abstract:../common:../../prelude
-resource ResEng = {
-
- param
- OtherParam = A | B ;
- Gender = Masc | Fem ;
-
-} ;