[Mono-dev] generic constraints support for corcompare

[Martin Baulig]

On Wed, 2005-10-05 at 23:27 +0900, Atsushi Eno wrote:

> I would like to hear some advice.
> 
> The attached patch makes corcompare stuff to differentiate generic
> constraints (i.e. "where") on both types and method parameters.

Hi,

this is really cool :-)

> (To see the expected results you will have to create your own
> masterinfos.)
> 
> It should just work, but am wondering how those diffs should be
> shown in the class status pages. Currently this patch just puts
> mysterious "missing" mark on types.
> Any good ideas? Or if anyone hacks a fix it would be awesome.

Well, first of all, we need to include the type parameter names in the
type names, ie. use "ICollection[T]" instead of "ICollection`1".  Btw. I
just realized that the display of generic types is currently broken
anyways.

After that, maybe we can make things look like this:

	IDictionary[K,V]
	+   K : IEnumerable[V]
	X   V : class

etc.

Martin