exexexe

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

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