[Mono-dev] Regressions in generics runtime support

[Kamil Skalski]

Hi!

I noticed a few refactorings of generics support in mono recently.
Unfortunately there appeared some regressions.

First one comes from patch
http://lists.ximian.com/pipermail/mono-patches/2006-February/070865.html

It causes following assertion when bootstraping Nemerle compiler:

COMPILE [stage1] Nemerle.Compiler.dll

** ERROR **: file icall.c: line 1891
(ves_icall_MonoType_GetGenericArguments): assertion failed: ((t->type
!= MONO_TYPE_VAR && t->type != MONO_TYPE_MVAR) ||
t->data.generic_param->owner)

(this problems seems present also in current svn version)

Later it got even worse, since with current svn, mono states there is
some invalid IL in Nemerle.Compiler. Though from what I can see this
might be related to Paolo's changes in IL verification.

Here is the tarball to reproduce the problems:

http://nemerle.org/download/snapshots/nemerle-0.9.2.99.6127.tar.gz

Hm, probably I should open a bug for this, as IL and generics problems
are probably not related. What is your opinion?

--
Kamil Skalski
http://nazgul.omega.pl