From a25ee154e760a424ef4aef46a6e3d6fdf1079cf1 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 15 Sep 2004 14:36:27 +0000
Subject: introducing multiple inheritance

---
 grammars/multiple/Math.gf | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 grammars/multiple/Math.gf

(limited to 'grammars/multiple/Math.gf')

diff --git a/grammars/multiple/Math.gf b/grammars/multiple/Math.gf
new file mode 100644
index 000000000..6e6a48db6
--- /dev/null
+++ b/grammars/multiple/Math.gf
@@ -0,0 +1,7 @@
+abstract Math = {
+  cat 
+    Number ;
+  fun
+    MkNumber : Int -> Number ;
+} ;    
+
-- 
cgit v1.2.3