-

[clean-tests.git] / overloading_tc / test.icl

diff --git a/overloading_tc/test.icl b/overloading_tc/test.icl
deleted file mode 100644 (file)
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
-       ]