nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3e394d) | patch
model: rewrite of MType::is_subtype
authorJean Privat <jean@pryen.org>
Fri, 7 Dec 2012 06:53:26 +0000 (01:53 -0500)
committerJean Privat <jean@pryen.org>
Fri, 7 Dec 2012 06:59:36 +0000 (01:59 -0500)
commit143d382594a31cedc4c0dcda309ec2a90d6058d2
tree45b38cd9693df14d68909e508924c076c680422atree | snapshot
parentc3e394d54a0e2f2df1673825475eaec41e2acd8ecommit | diff
model: rewrite of MType::is_subtype

The previous writing was just wrong.
Mainly because the two first `resolve_for` always lost the parameter types.
But the rest of the method was also overly complex and buggy.

Note that the fixed behavior make a test pass because of the
"FIXME workaround" in typing.nit

Signed-off-by: Jean Privat <jean@pryen.org>
src/model/model.nit diff | blob | history
tests/sav/base_var_type_evolution_null3_alt1.res diff | blob | history
Nit language project; an oo programing language and its tool suite.