From ab1420510859c3534d9ba7ff1e2ecbf3e317bc6c Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Mon, 6 Oct 2008 15:27:14 +0000
Subject: next-lib now compiles webalt ; removed subdir mathematical/ for
 simplicity

---
 next-lib/src/abstract/Compatibility.gf | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 next-lib/src/abstract/Compatibility.gf

(limited to 'next-lib/src/abstract/Compatibility.gf')

diff --git a/next-lib/src/abstract/Compatibility.gf b/next-lib/src/abstract/Compatibility.gf
new file mode 100644
index 000000000..a4af7d4f5
--- /dev/null
+++ b/next-lib/src/abstract/Compatibility.gf
@@ -0,0 +1,9 @@
+abstract Compatibility = Cat ** {
+
+-- from Noun 19/4/2008
+
+fun
+    NumInt     : Int -> Num ;     -- 57
+    OrdInt     : Int -> Ord ;     -- 57
+
+}
-- 
cgit v1.2.3