X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=overloading_tc%2Ftest.icl;fp=overloading_tc%2Ftest.icl;h=0000000000000000000000000000000000000000;hb=4b62b5d397d86147e393c05b3083af74a3a0c4af;hp=cf14d2269fecba79a6023260dc9e2ebbcd2f153a;hpb=e5305ee9d4290e1aa803a2e62a14f32e5cd29782;p=clean-tests.git

diff --git a/overloading_tc/test.icl b/overloading_tc/test.icl
deleted file mode 100644
index cf14d22..0000000
--- a/overloading_tc/test.icl
+++ /dev/null
@@ -1,20 +0,0 @@
-module test
-
-import StdEnv
-
-class type a | c1 a & TC a
-
-class c1 a :: a -> Int
-class rtrn v :: v ()
-class arith v
-where
-	(+.) :: (v a) (v a) -> (v a) | type, + a
-
-//:: WMT = E.e v: WMT (v e) & type e & iTask e & rtrn v & arith v
-:: WMT = E.e v: WMT (v e) & type e & rtrn v & arith v
-
-Start :: [WMT]
-Start =
-	[undef
-	,undef
-	]