From 095e15d7b78ee5a764abf0ebfe73f78587f8a442 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Tue, 15 Jul 2014 15:14:09 -0400 Subject: [PATCH] modelize_property: correctly check signature for getter and setter Some clone of bug 855796228e2ea1234246990c68741ccffbce93ae --- src/modelize_property.nit | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/modelize_property.nit b/src/modelize_property.nit index 5b306f9..5a0ece8 100644 --- a/src/modelize_property.nit +++ b/src/modelize_property.nit @@ -881,7 +881,7 @@ redef class AAttrPropdef for i in [0..mysignature.arity[ do var myt = mysignature.mparameters[i].mtype var prt = msignature.mparameters[i].mtype - if not myt.is_subtype(mmodule, mclassdef.bound_mtype, prt) and + if not myt.is_subtype(mmodule, mclassdef.bound_mtype, prt) or not prt.is_subtype(mmodule, mclassdef.bound_mtype, myt) then var node: ANode if nsig != null then node = nsig else node = self -- 1.7.9.5