From 5e49a572448667d635bd93905992ad2ba1fd108a Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 3 Apr 2003 09:41:43 +0000 Subject: *** empty log message *** --- test/neg/altherr3.check | 226 ++++++++++++++++++++++++------------------------ 1 file changed, 115 insertions(+), 111 deletions(-) (limited to 'test/neg/altherr3.check') diff --git a/test/neg/altherr3.check b/test/neg/altherr3.check index 7d9d521e02..076742e124 100644 --- a/test/neg/altherr3.check +++ b/test/neg/altherr3.check @@ -1,172 +1,176 @@ -altherr3.scala:26: polymorphic expression of type [a <: scala.Any]bug.Foo[a] cannot be instantiated from expected type scala.Int +altherr3.scala:26: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Int](foo0()); // error 1 ^ -altherr3.scala:27: type mismatch; - found : bug.Foo[bug.Foo[scala.Any]] - required: scala.Int +altherr3.scala:27: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Int](foo0(foo0())); // error 2 ^ -altherr3.scala:28: type mismatch; - found : bug.Foo[bug.Foo[bug.Foo[scala.Any]]] - required: scala.Int +altherr3.scala:28: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Int](foo0(foo0(foo0()))); // error 3 ^ -altherr3.scala:29: type mismatch; - found : bug.Foo[bug.Foo[bug.Foo[bug.Foo[scala.Any]]]] - required: scala.Int +altherr3.scala:29: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[bug.Foo[scala.Any]]]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Int](foo0(foo0(foo0(foo0())))); // error 4 ^ -altherr3.scala:32: polymorphic argument cannot be instantiated to formal parameter type; - found : [a <: scala.Any]bug.Foo[a] - required: scala.Int +altherr3.scala:32: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Foo[Int]](foo0(foo0())); // error 5 - ^ -altherr3.scala:33: type mismatch; - found : bug.Foo[bug.Foo[scala.Any]] - required: scala.Int + ^ +altherr3.scala:33: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Foo[Int]](foo0(foo0(foo0()))); // error 6 ^ -altherr3.scala:34: type mismatch; - found : bug.Foo[bug.Foo[bug.Foo[scala.Any]]] - required: scala.Int +altherr3.scala:34: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Foo[Int]](foo0(foo0(foo0(foo0())))); // error 7 ^ -altherr3.scala:38: polymorphic argument cannot be instantiated to formal parameter type; - found : [a <: scala.Any]bug.Foo[a] - required: scala.Int +altherr3.scala:38: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Foo[Foo[Int]]](foo0(foo0(foo0()))); // error 8 - ^ -altherr3.scala:39: type mismatch; - found : bug.Foo[bug.Foo[scala.Any]] - required: scala.Int + ^ +altherr3.scala:39: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); // error 9 ^ -altherr3.scala:49: polymorphic argument cannot be instantiated to formal parameter type; - found : [a <: scala.Any]bug.Foo[a] - required: scala.Int +altherr3.scala:49: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar1[Int](foo0(foo0())); // error 10 - ^ -altherr3.scala:50: type mismatch; - found : bug.Foo[bug.Foo[scala.Any]] - required: scala.Int + ^ +altherr3.scala:50: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar1[Int](foo0(foo0(foo0()))); // error 11 ^ -altherr3.scala:51: type mismatch; - found : bug.Foo[bug.Foo[bug.Foo[scala.Any]]] - required: scala.Int +altherr3.scala:51: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar1[Int](foo0(foo0(foo0(foo0())))); // error 12 ^ -altherr3.scala:55: polymorphic argument cannot be instantiated to formal parameter type; - found : [a <: scala.Any]bug.Foo[a] - required: scala.Int +altherr3.scala:55: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar1[Foo[Int]](foo0(foo0(foo0()))); // error 13 - ^ -altherr3.scala:56: type mismatch; - found : bug.Foo[bug.Foo[scala.Any]] - required: scala.Int + ^ +altherr3.scala:56: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar1[Foo[Int]](foo0(foo0(foo0(foo0())))); // error 14 ^ -altherr3.scala:61: polymorphic argument cannot be instantiated to formal parameter type; - found : [a <: scala.Any]bug.Foo[a] - required: scala.Int +altherr3.scala:61: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar1[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); // error 15 - ^ -altherr3.scala:72: polymorphic argument cannot be instantiated to formal parameter type; - found : [a <: scala.Any]bug.Foo[a] - required: scala.Int + ^ +altherr3.scala:72: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar2[Int](foo0(foo0(foo0()))); // error 16 - ^ -altherr3.scala:73: type mismatch; - found : bug.Foo[bug.Foo[scala.Any]] - required: scala.Int + ^ +altherr3.scala:73: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar2[Int](foo0(foo0(foo0(foo0())))); // error 17 ^ -altherr3.scala:78: polymorphic argument cannot be instantiated to formal parameter type; - found : [a <: scala.Any]bug.Foo[a] - required: scala.Int +altherr3.scala:78: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar2[Foo[Int]](foo0(foo0(foo0(foo0())))); // error 18 - ^ + ^ altherr3.scala:88: type mismatch; found : bug.Foo[bug.Foo[scala.Any]] required: bug.Foo[bug.Foo[bug.Foo[]]] bar3(foo0(foo0())); // error 19 (inference fails) ^ -altherr3.scala:95: polymorphic argument cannot be instantiated to formal parameter type; - found : [a <: scala.Any]bug.Foo[a] - required: scala.Int +altherr3.scala:95: no type parameters for method foo0 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar3[Int](foo0(foo0(foo0(foo0())))); // error 20 - ^ -altherr3.scala:116: polymorphic expression of type [a <: scala.Any]bug.Foo[a] cannot be instantiated from expected type scala.Int + ^ +altherr3.scala:116: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Int](foo1()); // error 21 ^ -altherr3.scala:117: type mismatch; - found : bug.Foo[bug.Foo[scala.Any]] - required: scala.Int +altherr3.scala:117: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Int](foo1(foo1())); // error 22 ^ -altherr3.scala:118: type mismatch; - found : bug.Foo[bug.Foo[bug.Foo[scala.Any]]] - required: scala.Int +altherr3.scala:118: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Int](foo1(foo1(foo1()))); // error 23 ^ -altherr3.scala:119: type mismatch; - found : bug.Foo[bug.Foo[bug.Foo[bug.Foo[scala.Any]]]] - required: scala.Int +altherr3.scala:119: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[bug.Foo[scala.Any]]]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Int](foo1(foo1(foo1(foo1())))); // error 24 ^ -altherr3.scala:122: polymorphic argument cannot be instantiated to formal parameter type; - found : [a <: scala.Any]bug.Foo[a] - required: scala.Int +altherr3.scala:122: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Foo[Int]](foo1(foo1())); // error 25 - ^ -altherr3.scala:123: type mismatch; - found : bug.Foo[bug.Foo[scala.Any]] - required: scala.Int + ^ +altherr3.scala:123: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Foo[Int]](foo1(foo1(foo1()))); // error 26 ^ -altherr3.scala:124: type mismatch; - found : bug.Foo[bug.Foo[bug.Foo[scala.Any]]] - required: scala.Int +altherr3.scala:124: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Foo[Int]](foo0(foo1(foo1(foo1())))); // error 27 ^ -altherr3.scala:128: polymorphic argument cannot be instantiated to formal parameter type; - found : [a <: scala.Any]bug.Foo[a] - required: scala.Int +altherr3.scala:128: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Foo[Foo[Int]]](foo1(foo1(foo1()))); // error 28 - ^ -altherr3.scala:129: type mismatch; - found : bug.Foo[bug.Foo[scala.Any]] - required: scala.Int + ^ +altherr3.scala:129: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar0[Foo[Foo[Int]]](foo1(foo0(foo1(foo1())))); // error 29 ^ -altherr3.scala:139: polymorphic argument cannot be instantiated to formal parameter type; - found : [a <: scala.Any]bug.Foo[a] - required: scala.Int +altherr3.scala:139: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar1[Int](foo1(foo1())); // error 30 - ^ -altherr3.scala:140: type mismatch; - found : bug.Foo[bug.Foo[scala.Any]] - required: scala.Int + ^ +altherr3.scala:140: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar1[Int](foo1(foo1(foo1()))); // error 31 ^ -altherr3.scala:141: type mismatch; - found : bug.Foo[bug.Foo[bug.Foo[scala.Any]]] - required: scala.Int +altherr3.scala:141: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.Any]]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar1[Int](foo1(foo1(foo1(foo1())))); // error 32 ^ -altherr3.scala:145: polymorphic argument cannot be instantiated to formal parameter type; - found : [a <: scala.Any]bug.Foo[a] - required: scala.Int +altherr3.scala:145: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar1[Foo[Int]](foo1(foo1(foo1()))); // error 33 - ^ -altherr3.scala:146: type mismatch; - found : bug.Foo[bug.Foo[scala.Any]] - required: scala.Int + ^ +altherr3.scala:146: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.Any]) + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar1[Foo[Int]](foo1(foo1(foo1(foo1())))); // error 34 ^ -altherr3.scala:151: polymorphic argument cannot be instantiated to formal parameter type; - found : [a <: scala.Any]bug.Foo[a] - required: scala.Int +altherr3.scala:151: no type parameters for method foo1 of type [a <: scala.Any](a*)bug.Foo[a] exist so that it can be applied to arguments () + --- because --- +result type bug.Foo[a] is incompatible with expected type scala.Int bar1[Foo[Foo[Int]]](foo1(foo1(foo1(foo1())))); // error 35 - ^ + ^ 35 errors found -- cgit v1.2.3