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, 21 insertions, 0 deletions
diff --git a/eclipse/examples/hello/HelloEng.gf b/eclipse/examples/hello/HelloEng.gf
new file mode 100644
index 000000000..d67843ef0
--- /dev/null
+++ b/eclipse/examples/hello/HelloEng.gf
@@ -0,0 +1,21 @@
+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 } ;
+
+}