[prev in list] [next in list] [prev in thread] [next in thread]
List: mono-patches
Subject: [Mono-patches] r135081 - trunk/mcs/errors
From: "Marek Safar (msafar () novell ! com)" <mono-patches-list () lists ! ximian ! com>
Date: 2009-05-29 19:44:41
Message-ID: 20090529194441.312399472C () mono-cvs ! ximian ! com
[Download RAW message or body]
Author: marek
Date: 2009-05-29 15:44:40 -0400 (Fri, 29 May 2009)
New Revision: 135081
Added:
trunk/mcs/errors/gcs0111-8.cs
trunk/mcs/errors/gcs1961-38.cs
trunk/mcs/errors/gcs1961-39.cs
Modified:
trunk/mcs/errors/gcs1961-10.cs
trunk/mcs/errors/gcs1961-11.cs
trunk/mcs/errors/gcs1961-12.cs
trunk/mcs/errors/gcs1961-15.cs
trunk/mcs/errors/gcs1961-2.cs
trunk/mcs/errors/gcs1961-24.cs
trunk/mcs/errors/gcs1961-25.cs
trunk/mcs/errors/gcs1961-26.cs
trunk/mcs/errors/gcs1961-27.cs
trunk/mcs/errors/gcs1961-30.cs
trunk/mcs/errors/gcs1961-9.cs
trunk/mcs/errors/known-issues-gmcs
Log:
New tests, updates.
Added: trunk/mcs/errors/gcs0111-8.cs
===================================================================
--- trunk/mcs/errors/gcs0111-8.cs (rev 0)
+++ trunk/mcs/errors/gcs0111-8.cs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -0,0 +1,17 @@
+// CS0111: A member `C.Foo<U>(U)' is already defined. Rename this member or use \
different parameter types +// Line : 12
+
+class G<T>
+{
+}
+
+public class C
+{
+ void Foo<T> (G<T> g)
+ {
+ }
+
+ void Foo<U> (G<U> u)
+ {
+ }
+}
Property changes on: trunk/mcs/errors/gcs0111-8.cs
___________________________________________________________________
Added: svn:eol-style
+ native
Modified: trunk/mcs/errors/gcs1961-10.cs
===================================================================
--- trunk/mcs/errors/gcs1961-10.cs 2009-05-29 19:44:21 UTC (rev 135080)
+++ trunk/mcs/errors/gcs1961-10.cs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -1,4 +1,4 @@
-// CS1961: The contravariant type parameter `T' must be invariantly valid on `B<T>'
+// CS1961: The contravariant type parameter `T' must be invariantly valid on \
`B<T>()' // Line: 9
// Compiler options: -langversion:future
Modified: trunk/mcs/errors/gcs1961-11.cs
===================================================================
--- trunk/mcs/errors/gcs1961-11.cs 2009-05-29 19:44:21 UTC (rev 135080)
+++ trunk/mcs/errors/gcs1961-11.cs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -1,4 +1,4 @@
-// CS1961: The contravariant type parameter `T' must be invariantly valid on `B<T>'
+// CS1961: The contravariant type parameter `T' must be invariantly valid on \
`B<T>(A<T>)' // Line: 9
// Compiler options: -langversion:future
Modified: trunk/mcs/errors/gcs1961-12.cs
===================================================================
--- trunk/mcs/errors/gcs1961-12.cs 2009-05-29 19:44:21 UTC (rev 135080)
+++ trunk/mcs/errors/gcs1961-12.cs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -1,4 +1,4 @@
-// CS1961: The contravariant type parameter `T' must be invariantly valid on `B<T>'
+// CS1961: The contravariant type parameter `T' must be invariantly valid on \
`B<T>(A<A<T>>)' // Line: 9
// Compiler options: -langversion:future
Modified: trunk/mcs/errors/gcs1961-15.cs
===================================================================
--- trunk/mcs/errors/gcs1961-15.cs 2009-05-29 19:44:21 UTC (rev 135080)
+++ trunk/mcs/errors/gcs1961-15.cs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -1,12 +1,9 @@
-// CS1961: The contravariant type parameter `T' must be covariantly valid on \
`B<T>.C(A<T>)' +// CS1961: The covariant type parameter `U' must be contravariantly \
valid on `D<U>()' // Line: 9
// Compiler options: -langversion:future
-interface A<out T>
+interface I<in T>
{
}
-interface B<in T>
-{
- void C(A<T> a);
-}
+delegate I<U[]> D<out U> ();
Modified: trunk/mcs/errors/gcs1961-2.cs
===================================================================
--- trunk/mcs/errors/gcs1961-2.cs 2009-05-29 19:44:21 UTC (rev 135080)
+++ trunk/mcs/errors/gcs1961-2.cs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -1,4 +1,4 @@
-// CS1961: The contravariant type parameter `T' must be covariantly valid on `D<T>'
+// CS1961: The contravariant type parameter `T' must be covariantly valid on \
`D<T>()' // Line: 5
// Compiler options: -langversion:future
Modified: trunk/mcs/errors/gcs1961-24.cs
===================================================================
--- trunk/mcs/errors/gcs1961-24.cs 2009-05-29 19:44:21 UTC (rev 135080)
+++ trunk/mcs/errors/gcs1961-24.cs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -1,4 +1,4 @@
-// CS1961: The covariant type parameter `T' must be invariantly valid on `B<T>'
+// CS1961: The covariant type parameter `T' must be invariantly valid on `B<T>()'
// Line: 9
// Compiler options: -langversion:future
Modified: trunk/mcs/errors/gcs1961-25.cs
===================================================================
--- trunk/mcs/errors/gcs1961-25.cs 2009-05-29 19:44:21 UTC (rev 135080)
+++ trunk/mcs/errors/gcs1961-25.cs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -1,4 +1,4 @@
-// CS1961: The covariant type parameter `T' must be invariantly valid on `B<T>'
+// CS1961: The covariant type parameter `T' must be invariantly valid on `B<T>()'
// Line: 9
// Compiler options: -langversion:future
Modified: trunk/mcs/errors/gcs1961-26.cs
===================================================================
--- trunk/mcs/errors/gcs1961-26.cs 2009-05-29 19:44:21 UTC (rev 135080)
+++ trunk/mcs/errors/gcs1961-26.cs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -1,4 +1,4 @@
-// CS1961: The covariant type parameter `T' must be invariantly valid on `B<T>'
+// CS1961: The covariant type parameter `T' must be invariantly valid on \
`B<T>(A<T>)' // Line: 9
// Compiler options: -langversion:future
Modified: trunk/mcs/errors/gcs1961-27.cs
===================================================================
--- trunk/mcs/errors/gcs1961-27.cs 2009-05-29 19:44:21 UTC (rev 135080)
+++ trunk/mcs/errors/gcs1961-27.cs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -1,4 +1,4 @@
-// CS1961: The covariant type parameter `T' must be invariantly valid on `B<T>'
+// CS1961: The covariant type parameter `T' must be invariantly valid on \
`B<T>(A<A<T>>)' // Line: 9
// Compiler options: -langversion:future
Modified: trunk/mcs/errors/gcs1961-30.cs
===================================================================
--- trunk/mcs/errors/gcs1961-30.cs 2009-05-29 19:44:21 UTC (rev 135080)
+++ trunk/mcs/errors/gcs1961-30.cs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -1,12 +1,7 @@
-// CS1961: The covariant type parameter `T' must be contravariantly valid on \
`B<T>.C(A<T>)'
-// Line: 9
+// CS1961: The covariant type parameter `U' must be contravariantly valid on \
`D<U>()' +// Line: 7
// Compiler options: -langversion:future
-interface A<in T>
-{
-}
+interface IContravariant<in T> { }
-interface B<out T>
-{
- void C(A<T> a);
-}
+delegate IContravariant<U[]> D<out U> ();
Added: trunk/mcs/errors/gcs1961-38.cs
===================================================================
--- trunk/mcs/errors/gcs1961-38.cs (rev 0)
+++ trunk/mcs/errors/gcs1961-38.cs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -0,0 +1,9 @@
+// CS1961: The covariant type parameter `V' must be invariantly valid on \
`Both<U,V>(Covariant<None<Contra<V>>>)' +// Line: 9
+// Compiler options: -langversion:future
+
+delegate T Covariant<out T> ();
+delegate void Contra<in T> (T t);
+delegate void None<T> (T t);
+
+delegate void Both<in U, out V> (Covariant<None<Contra<V>>> b);
Added: trunk/mcs/errors/gcs1961-39.cs
===================================================================
--- trunk/mcs/errors/gcs1961-39.cs (rev 0)
+++ trunk/mcs/errors/gcs1961-39.cs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -0,0 +1,8 @@
+// CS1961: The covariant type parameter `V' must be contravariantly valid on \
`Foo<T>' +// Line: 9
+// Compiler options: -langversion:future
+
+interface I<out V>
+{
+ void Foo<T> (T t) where T : V;
+}
Modified: trunk/mcs/errors/gcs1961-9.cs
===================================================================
--- trunk/mcs/errors/gcs1961-9.cs 2009-05-29 19:44:21 UTC (rev 135080)
+++ trunk/mcs/errors/gcs1961-9.cs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -1,4 +1,4 @@
-// CS1961: The contravariant type parameter `T' must be invariantly valid on `B<T>'
+// CS1961: The contravariant type parameter `T' must be invariantly valid on \
`B<T>()' // Line: 9
// Compiler options: -langversion:future
Modified: trunk/mcs/errors/known-issues-gmcs
===================================================================
--- trunk/mcs/errors/known-issues-gmcs 2009-05-29 19:44:21 UTC (rev 135080)
+++ trunk/mcs/errors/known-issues-gmcs 2009-05-29 19:44:40 UTC (rev 135081)
@@ -22,3 +22,6 @@
cs1540-6.cs
cs1540-9.cs
+
+# Fixed in cecil branch
+gcs0111-8.cs
_______________________________________________
Mono-patches maillist - Mono-patches@lists.ximian.com
http://lists.ximian.com/mailman/listinfo/mono-patches
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic