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

[Michal Moskal]

On 6/9/05, Michal Moskal <michal.moskal at gmail.com> wrote:
> 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.

I was :-)

The second call is something like:
  mono_reflection_bind_generic_parameters(Bar<int,A>, 1, [A])

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