summaryrefslogtreecommitdiff
path: root/eclipse/examples/hello/HelloEng.gf
diff options
context:
space:
mode:
authorjohn.j.camilleri <john.j.camilleri@chalmers.se>2012-06-01 14:21:26 +0000
committerjohn.j.camilleri <john.j.camilleri@chalmers.se>2012-06-01 14:21:26 +0000
commite778619f80ce97cc6d1210c7d2781137e968adfd (patch)
treeda14aa9ed693df4a0b6d829a46aadb4ef27c08ee /eclipse/examples/hello/HelloEng.gf
parenta86085d8ac69477e88ba722a1b74e865b6af39ce (diff)
GFEP: updated readme and removed examples folder
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 } ;
-
-}