nitg-s: retrieve recursively all partial generic types
authorAlexandre Terrasa <alexandre@moz-code.org>
Sun, 9 Dec 2012 01:25:43 +0000 (20:25 -0500)
committerAlexandre Terrasa <alexandre@moz-code.org>
Sun, 9 Dec 2012 01:25:43 +0000 (20:25 -0500)
commit7bc0d41070080f3763247eb4d161a703f444d6f7
tree8eee7c5c73abd2509119d55c8b92ee7355a54eec
parentd9e45b08f3c5ed6d7665242df6bd6661ffbb8002
nitg-s: retrieve recursively all partial generic types

for new G[H[nullable T], Object] and T: X
nitg-s will now find :
G[H[nullable X], Object]
H[nullable X]
nullable X
Object
as type to generate.

H[nullable X] and nullable X are considered as partial type because they are only used as part of a generic livetype.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
src/separate_compiler.nit
tests/base_isa_vt_gen4.nit [new file with mode: 0644]
tests/sav/base_isa_vt_gen4.res [new file with mode: 0644]