summaryrefslogtreecommitdiff
path: root/doc/tutorial/Fruit.gf
diff options
context:
space:
mode:
Diffstat (limited to 'doc/tutorial/Fruit.gf')
-rw-r--r--doc/tutorial/Fruit.gf4
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/tutorial/Fruit.gf b/doc/tutorial/Fruit.gf
new file mode 100644
index 000000000..a3dc1d84a
--- /dev/null
+++ b/doc/tutorial/Fruit.gf
@@ -0,0 +1,4 @@
+abstract Fruit = {
+ cat Fruit ;
+ fun Apple, Peach : Fruit ;
+}