X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=funcdeps%2Ftest.icl;h=56022e9f2f4ffa982fdf825a462d35aa0a237233;hb=HEAD;hp=f9ef7647cc13a202af6552de729ee9de5b9e43fd;hpb=f97a5bd0b5f76a04c484555f7ff16b0f3ba152bb;p=clean-tests.git

diff --git a/funcdeps/test.icl b/funcdeps/test.icl
deleted file mode 100644
index f9ef764..0000000
--- a/funcdeps/test.icl
+++ /dev/null
@@ -1,22 +0,0 @@
-module test
-
-import StdMisc
-
-:: Zero = Zero
-:: Succ a = Succ a
-:: Ar3 a b c :== (a -> b -> c)
-
-class succ a ~b :: a -> b
-instance succ Zero (Succ Zero) where succ Zero = Succ Zero
-instance succ a (Succ a) where succ a = Succ a
-
-class plus a b | succ a b :: a b
-instance plus Zero a a
-where
-	plus a b = b
-instance plus (Succ a) b c | plus a (Succ b) c
-where
-	plus (Succ a) b = plus a (Succ b)
-
-Start :: Int
-Start = 42