typing: move redef class check before inheritance
authorJean Privat <jean@pryen.org>
Sat, 26 Mar 2011 01:03:15 +0000 (21:03 -0400)
committerJean Privat <jean@pryen.org>
Thu, 31 Mar 2011 14:53:28 +0000 (10:53 -0400)
commit3a7f235c96176ceaac978f6cb0d44d3dadb668f6
treef7d231d7a24279df33a9c62210ee0cab2eeb17d0
parent3dda171d276683458c45e435a51bc68774c00a33
typing: move redef class check before inheritance

And move accept_class_verifier in AClassdef.
Thus:
1- avoid crashing on class arity missmatch;
2- avoid illegal super-classes in refinement.

Signed-off-by: Jean Privat <jean@pryen.org>
12 files changed:
src/syntax/mmbuilder.nit
tests/error_class_generic.nit [new file with mode: 0644]
tests/error_inh_loop.nit
tests/sav/error_class_generic.sav [new file with mode: 0644]
tests/sav/error_class_generic_alt1.sav [new file with mode: 0644]
tests/sav/error_class_generic_alt2.sav [new file with mode: 0644]
tests/sav/error_class_generic_alt3.sav [new file with mode: 0644]
tests/sav/error_class_generic_alt4.sav [new file with mode: 0644]
tests/sav/error_class_generic_alt5.sav [new file with mode: 0644]
tests/sav/error_class_generic_alt6.sav [new file with mode: 0644]
tests/test_variance_param.nit
tests/test_variance_ret.nit