[Mono-devel-list] [GENERICS] a problem with binding generic types

[Michal Moskal]

Hello,

During making Nemerle work with Mono generics, I've stumbled across
something that seems to be a bug in Mono runtime.

Inside:
  mono_reflection_bind_generic_parameters (MonoReflectionType *type, 
					   int type_argc, MonoType **types)
there is a call:
  the_parent = mono_reflection_bind_generic_parameters (parent, 
  			type_argc, types);

Which doesn't seem right. That is if you have a class:

  class Foo<A> : Bar <int, A> { }

then you call mono_reflection_bind_generic_parameters(Foo, 1, [A]),
but mono_reflection_bind_generic_parameters(Bar, 1, [A]) is not right
because there is not enough type parameters.

I may be wrong -- it may be bug somewhere else in my code, I just want to
make sure about it.

-- 
   Michal Moskal,
   http://nemerle.org/~malekith/