summaryrefslogtreecommitdiff
path: root/eclipse/examples/hello/HelloAbs.gf
diff options
context:
space:
mode:
Diffstat (limited to 'eclipse/examples/hello/HelloAbs.gf')
-rw-r--r--eclipse/examples/hello/HelloAbs.gf12
1 files changed, 12 insertions, 0 deletions
diff --git a/eclipse/examples/hello/HelloAbs.gf b/eclipse/examples/hello/HelloAbs.gf
new file mode 100644
index 000000000..70ab490bf
--- /dev/null
+++ b/eclipse/examples/hello/HelloAbs.gf
@@ -0,0 +1,12 @@
+abstract HelloAbs = AbsCat [Greeting, Recipient] ** {
+
+ flags startcat = Greeting ;
+
+ cat Farewell ;
+
+ fun
+ Hello : Recipient -> Greeting ;
+ Goodbye : Recipient -> Farewell ;
+ World, Parent, Friends : Recipient ;
+
+}