modelbuilder: detect invalid generic type (non conform with bounds)
authorJean Privat <jean@pryen.org>
Fri, 9 Nov 2012 06:39:37 +0000 (01:39 -0500)
committerJean Privat <jean@pryen.org>
Fri, 9 Nov 2012 06:39:37 +0000 (01:39 -0500)
commit98df7de8164997f01dd70c994f3c34a6415415da
tree914ef6be56e038f832a8266161d4d9dfc9f10aec
parent2bc93643fe877ba3c1e91754e72121f14cbef6f9
modelbuilder: detect invalid generic type (non conform with bounds)

Signed-off-by: Jean Privat <jean@pryen.org>
19 files changed:
src/modelbuilder.nit
tests/base_gen_bound.nit [new file with mode: 0644]
tests/sav/base_gen_bound.sav [new file with mode: 0644]
tests/sav/base_gen_bound_alt1.res [new file with mode: 0644]
tests/sav/base_gen_bound_alt1.sav [new file with mode: 0644]
tests/sav/base_gen_bound_alt2.res [new file with mode: 0644]
tests/sav/base_gen_bound_alt2.sav [new file with mode: 0644]
tests/sav/base_gen_bound_alt3.res [new file with mode: 0644]
tests/sav/base_gen_bound_alt3.sav [new file with mode: 0644]
tests/sav/base_gen_bound_alt4.res [new file with mode: 0644]
tests/sav/base_gen_bound_alt4.sav [new file with mode: 0644]
tests/sav/base_gen_bound_alt5.res [new file with mode: 0644]
tests/sav/base_gen_bound_alt5.sav [new file with mode: 0644]
tests/sav/base_gen_bound_alt6.res [new file with mode: 0644]
tests/sav/base_gen_bound_alt6.sav [new file with mode: 0644]
tests/sav/base_gen_bound_alt7.res [new file with mode: 0644]
tests/sav/base_gen_bound_alt7.sav [new file with mode: 0644]
tests/sav/base_gen_bound_alt8.res [new file with mode: 0644]
tests/sav/base_gen_bound_alt9.res [new file with mode: 0644]