nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 1583045 7bd3f54)
Merge: Subtype improvements
authorJean Privat <jean@pryen.org>
Thu, 4 Dec 2014 23:38:40 +0000 (18:38 -0500)
committerJean Privat <jean@pryen.org>
Thu, 4 Dec 2014 23:38:40 +0000 (18:38 -0500)
commit93eb95f0c972b22e688165af037b7e24affa1cc0
treec6daaf6584f2dc9f5461830b8563163a5da6e17atree | snapshot
parent1583045ab9285f1bf4001307564ab045f7497267commit | diff
parent7bd3f5441e5612cce267cd90d3941b60d2f4e946commit | diff
Merge: Subtype improvements

During the work with the covariance, some bugs with `is_subtype` where identified.

The PR tries to improve the code and fixes those bugs.
It also simplifies the code in the formal types and propose a new `lookup_fixed` method on `MType`.

Pull-Request: #926
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
src/model/model.nit diff1 | diff2 | blob | history
src/modelize/modelize_property.nit diff1 | diff2 | blob | history
Nit language project; an oo programing language and its tool suite.