nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf5552e) | patch
modelize_properties: check redef types in ATypePropdef
authorJean Privat <jean@pryen.org>
Tue, 22 Jul 2014 19:02:43 +0000 (15:02 -0400)
committerJean Privat <jean@pryen.org>
Tue, 22 Jul 2014 19:02:43 +0000 (15:02 -0400)
commit16afcf252f3d711c5a1153be50d79206debe9fea
tree12b91f743d7e00033bec471beace2b2cf7d9f839tree | snapshot
parentcf5552e2b7b0ffa0b6f5859968ff64c2dd88ff7fcommit | diff
modelize_properties: check redef types in ATypePropdef

Because some programs (mnit) rely on unsound virtual type refinement,
some errors are displayed as warnings.

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