rta: limit the depth of types to avoid infinite loops
authorJean Privat <jean@pryen.org>
Wed, 21 Nov 2012 18:36:25 +0000 (13:36 -0500)
committerJean Privat <jean@pryen.org>
Wed, 21 Nov 2012 18:36:25 +0000 (13:36 -0500)
commitfaf4b5e72a92e96b44f2020a81387bf8417c52cc
treede59e5194419828e6f600562397f63f8a938714d
parent288bea9bdbc65bf9ebd257807f7fbab3f882dcbb
rta: limit the depth of types to avoid infinite loops

Signed-off-by: Jean Privat <jean@pryen.org>
src/model/model.nit
src/rapid_type_analysis.nit
tests/base_gen_infinite.nit [new file with mode: 0644]
tests/sav/base_gen_infinite.res [new file with mode: 0644]
tests/sav/nitg/fixme/base_gen_infinite.res [new file with mode: 0644]