tests: add some tests for covariant genericity.
authorAlexandre Terrasa <alexandre@moz-code.org>
Tue, 4 Dec 2012 03:02:50 +0000 (22:02 -0500)
committerAlexandre Terrasa <alexandre@moz-code.org>
Tue, 4 Dec 2012 03:02:50 +0000 (22:02 -0500)
commitddc9df7d72887a9a2ae3fa2c899c33ba4afaa940
treeb49fb713d8cec07f026d5ee85e2a9e891e62c9a0
parentd2992803b67dfa4a556ec56821bd2f7707515f02
tests: add some tests for covariant genericity.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
76 files changed:
tests/base_call1.nit [new file with mode: 0644]
tests/base_isa1.nit [new file with mode: 0644]
tests/base_isa2.nit [new file with mode: 0644]
tests/base_isa3.nit [new file with mode: 0644]
tests/base_isa_ft.nit [new file with mode: 0644]
tests/base_isa_ft2.nit [new file with mode: 0644]
tests/base_isa_gen1.nit [new file with mode: 0644]
tests/base_isa_gen2.nit [new file with mode: 0644]
tests/base_isa_gen3.nit [new file with mode: 0644]
tests/base_isa_gen4.nit [new file with mode: 0644]
tests/base_isa_gen5.nit [new file with mode: 0644]
tests/base_isa_gen6.nit [new file with mode: 0644]
tests/base_isa_gen7.nit [new file with mode: 0644]
tests/base_isa_gen8.nit [new file with mode: 0644]
tests/base_isa_nullable1.nit [new file with mode: 0644]
tests/base_isa_nullable2.nit [new file with mode: 0644]
tests/base_isa_nullable_vt.nit [new file with mode: 0644]
tests/base_isa_nullable_vt2.nit [new file with mode: 0644]
tests/base_isa_vt_class.nit [new file with mode: 0644]
tests/base_isa_vt_ft.nit [new file with mode: 0644]
tests/base_isa_vt_gen1.nit [new file with mode: 0644]
tests/base_isa_vt_gen2.nit [new file with mode: 0644]
tests/base_isa_vt_gen3.nit [new file with mode: 0644]
tests/base_minimal.nit [new file with mode: 0644]
tests/sav/base_call1.sav [new file with mode: 0644]
tests/sav/base_isa1.res [new file with mode: 0644]
tests/sav/base_isa2.res [new file with mode: 0644]
tests/sav/base_isa3.res [new file with mode: 0644]
tests/sav/base_isa_ft.sav [new file with mode: 0644]
tests/sav/base_isa_ft2.sav [new file with mode: 0644]
tests/sav/base_isa_gen1.res [new file with mode: 0644]
tests/sav/base_isa_gen2.res [new file with mode: 0644]
tests/sav/base_isa_gen3.res [new file with mode: 0644]
tests/sav/base_isa_gen4.res [new file with mode: 0644]
tests/sav/base_isa_gen5.res [new file with mode: 0644]
tests/sav/base_isa_gen6.res [new file with mode: 0644]
tests/sav/base_isa_gen7.res [new file with mode: 0644]
tests/sav/base_isa_gen8.res [new file with mode: 0644]
tests/sav/base_isa_nullable1.res [new file with mode: 0644]
tests/sav/base_isa_nullable2.res [new file with mode: 0644]
tests/sav/base_isa_nullable_vt.res [new file with mode: 0644]
tests/sav/base_isa_nullable_vt2.res [new file with mode: 0644]
tests/sav/base_isa_vt_class.res [new file with mode: 0644]
tests/sav/base_isa_vt_ft.res [new file with mode: 0644]
tests/sav/base_isa_vt_gen1.res [new file with mode: 0644]
tests/sav/base_isa_vt_gen2.res [new file with mode: 0644]
tests/sav/base_isa_vt_gen3.res [new file with mode: 0644]
tests/sav/base_minimal.res [new file with mode: 0644]
tests/sav/nitc/fixme/base_isa_gen1.res [new file with mode: 0644]
tests/sav/nitc/fixme/base_isa_gen4.res [new file with mode: 0644]
tests/sav/nitc/fixme/base_isa_gen5.res [new file with mode: 0644]
tests/sav/nitc/fixme/base_isa_gen7.res [new file with mode: 0644]
tests/sav/nitc/fixme/base_isa_nullable1.res [new file with mode: 0644]
tests/sav/nitc/fixme/base_isa_nullable2.res [new file with mode: 0644]
tests/sav/nitc/fixme/base_isa_nullable_vt2.res [new file with mode: 0644]
tests/sav/nitc/fixme/base_isa_vt_ft.res [new file with mode: 0644]
tests/sav/nitc/fixme/base_isa_vt_gen2.res [new file with mode: 0644]
tests/sav/nitc/fixme/base_isa_vt_gen3.res [new file with mode: 0644]
tests/sav/nitg-e/base_isa1.res [new file with mode: 0644]
tests/sav/nitg-e/base_isa_gen1.res [new file with mode: 0644]
tests/sav/nitg-e/base_isa_gen4.res [new file with mode: 0644]
tests/sav/nitg-e/base_isa_gen5.res [new file with mode: 0644]
tests/sav/nitg-e/base_isa_gen7.res [new file with mode: 0644]
tests/sav/nitg-e/base_isa_nullable1.res [new file with mode: 0644]
tests/sav/nitg-e/base_isa_nullable2.res [new file with mode: 0644]
tests/sav/nitg-e/fixme/base_isa_nullable_vt.res [new file with mode: 0644]
tests/sav/nitg-s/base_isa1.res [new file with mode: 0644]
tests/sav/nitg-s/base_isa_vt_gen1.res [new file with mode: 0644]
tests/sav/nitg-s/fixme/base_isa_nullable_vt.res [new file with mode: 0644]
tests/sav/nitg/base_isa1.res [new file with mode: 0644]
tests/sav/nitg/base_isa_gen1.sav [new file with mode: 0644]
tests/sav/nitg/base_isa_vt_gen1.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_isa_nullable_vt.res [new file with mode: 0644]
tests/sav/niti/base_isa1.res [new file with mode: 0644]
tests/sav/niti/base_isa_vt_gen1.res [new file with mode: 0644]
tests/sav/niti/fixme/base_isa_nullable_vt.res [new file with mode: 0644]