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

diff --git a/overloading_tc/test.icl b/overloading_tc/test.icl
new file mode 100644
index 0000000..cf14d22
--- /dev/null
+++ b/overloading_tc/test.icl
@@ -0,0 +1,20 @@
+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
+	]