rta: resolve the open-types in a depth-first order to reach limit faster
authorJean Privat <jean@pryen.org>
Sun, 29 May 2016 02:45:45 +0000 (22:45 -0400)
committerJean Privat <jean@pryen.org>
Sun, 29 May 2016 02:45:45 +0000 (22:45 -0400)
commit187ba1a4c0c82d7e0bbfcf8754a3d533b972c78e
tree80f2633ef4736d531b94dc399f288eceb5931328
parent87d22cf8bf5c528b47e73b5789a03ce82cfdc086
rta: resolve the open-types in a depth-first order to reach limit faster

Signed-off-by: Jean Privat <jean@pryen.org>
src/rapid_type_analysis.nit
tests/base_gen_infinite2.nit [new file with mode: 0644]
tests/sav/base_gen_infinite2.res [new file with mode: 0644]
tests/sav/nitce/base_gen_infinite2.res [new file with mode: 0644]
tests/sav/nitcg/fixme/base_gen_infinite2.res [new file with mode: 0644]
tests/sav/nitcs/fixme/base_gen_infinite2.res [new file with mode: 0644]
tests/sav/nitcsg/fixme/base_gen_infinite2.res [new file with mode: 0644]