[added some missing files
mail@stefanwehr.de**20050826082943] {
addfile ./TODO
hunk ./TODO 1
+- Ambiguous signatures are not detected properly in the presence of multiparameter
+  type classes (implementation of fixv is wrong).
+  Testcases:
+  tests/multi-param-typeclasses/well-formed/should_fail/ambiguous2.phc
+  tests/multi-param-typeclasses/well-formed/should_fail/ambiguous3.phc
+
+- Unification seems to have problems with parameterized ATs
+  Testcase:
+  tests/examples/stack.phc
addfile ./tests/type-inference/should_fail/instance_for_tysyn.err
hunk ./tests/type-inference/should_fail/instance_for_tysyn.err 1
+illegal associated type application: `T (D (T Int))'. Cannot deduce `C (D (T Int))' from program context and {}
addfile ./tests/type-inference/should_fail/instance_for_tysyn.phc
hunk ./tests/type-inference/should_fail/instance_for_tysyn.phc 1
+class C a where {
+  type T a;
+--  foo :: a -> List Char;
+}
+
+data D a = D a;
+
+instance C a => C (D (T a)) where {
+  type T (D (T a)) = T a;
+--  foo _ = "ok";  -- ambiguous signature
+}
+
+instance C Int where {
+  type T Int = Bool;
+--  foo _ = "fail";
+}
+
+bar :: T (D (T Int)) -> Bool;
+bar b = b;
+
+main = bar True;
+
+
+
}