nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: deaa490 d770666)
Merge: mnit: Fix error on refined virtual types
authorJean Privat <jean@pryen.org>
Tue, 13 Oct 2015 16:29:59 +0000 (12:29 -0400)
committerJean Privat <jean@pryen.org>
Tue, 13 Oct 2015 16:29:59 +0000 (12:29 -0400)
commit6064cf2ff603453cb6a61adecfdda2e0c1f31cf6
treeef2741650f1301754c4fda667444736a2df92a92tree | snapshot
parentdeaa490bf7378d82c6224902ba4130ff0ca01c8dcommit | diff
parentd7706666197f6a8327b47a99fc9f33a97ee307a3commit | diff
Merge: mnit: Fix error on refined virtual types

Simple fix for the "Redef Error" in mnit clients: do not redef virtual types, instead assert the types in the users methods.

Pull-Request: #1751
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>
Reviewed-by: Jean Privat <jean@pryen.org>
Nit language project; an oo programing language and its tool suite.