summaryrefslogtreecommitdiff
path: root/eclipse/examples/hello/HelloEng.gf
diff options
context:
space:
mode:
Diffstat (limited to 'eclipse/examples/hello/HelloEng.gf')
-rw-r--r--eclipse/examples/hello/HelloEng.gf21
1 files changed, 0 insertions, 21 deletions
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 } ;
-
-}