icode: add automatic tests for virtual type parameters in methods
authorJean Privat <jean@pryen.org>
Fri, 25 Nov 2011 14:17:30 +0000 (09:17 -0500)
committerJean Privat <jean@pryen.org>
Fri, 25 Nov 2011 16:02:05 +0000 (11:02 -0500)
commit11398e77f984b721eda088cec034e7e9af7528d4
tree31d49d0f42505bce783614f97f95d6d5a0bf8ed9
parent0c23ea47f678814deea7f4603358225990773105
icode: add automatic tests for virtual type parameters in methods

Tests are added by the method generate_empty_iroutine of MMSignature
Not that tests are systematic even in the safe case (call on self).

Some unsafe places remain, like parameters in closure definitions or
in unsafe assignments.

test_variance_params is updated to reflect the fix.

Signed-off-by: Jean Privat <jean@pryen.org>
13 files changed:
src/icode/icode_builder.nit
tests/sav/test_variance_param_alt1.fail [deleted file]
tests/sav/test_variance_param_alt1.sav [new file with mode: 0644]
tests/sav/test_variance_param_alt2.fail [deleted file]
tests/sav/test_variance_param_alt2.sav [new file with mode: 0644]
tests/sav/test_variance_param_alt3.fail [deleted file]
tests/sav/test_variance_param_alt3.sav [new file with mode: 0644]
tests/sav/test_variance_param_alt4.fail [deleted file]
tests/sav/test_variance_param_alt4.sav [new file with mode: 0644]
tests/sav/test_variance_param_alt5.fail [deleted file]
tests/sav/test_variance_param_alt5.sav [new file with mode: 0644]
tests/sav/test_variance_param_alt6.fail [deleted file]
tests/sav/test_variance_param_alt6.sav [new file with mode: 0644]