nitg-s: introduce unanchored resolution tables.
authorAlexandre Terrasa <alexandre@moz-code.org>
Sun, 9 Dec 2012 20:59:24 +0000 (15:59 -0500)
committerAlexandre Terrasa <alexandre@moz-code.org>
Sun, 9 Dec 2012 20:59:24 +0000 (15:59 -0500)
commit1d3a6b122012d383737d16cdb3302c572be3dd2e
tree55ef927b6042aee5efdef9b77d657c6f996650e6
parent7bc0d41070080f3763247eb4d161a703f444d6f7
nitg-s: introduce unanchored resolution tables.

Unanchored resolution tables allow the compiler to retrieve at runtime a live generic type with given formal types
Old tree based resolution structure with tree is now an option of nitg (--generic-resolution-tree)

Options --bm-typing and --ph*-typing affects the unanchored tables generations.

Updated nitg.res with new option. Also added tests in makefile.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
src/coloring.nit
src/separate_compiler.nit
tests/Makefile
tests/sav/nitg.res