From c0fc7c990e4e4e4bae05afbeccc1b8ccd758b1d7 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Mon, 12 May 2014 15:45:17 -0400 Subject: [PATCH] rta: micro-factorization of call on `msignature` Signed-off-by: Jean Privat --- src/rapid_type_analysis.nit | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/rapid_type_analysis.nit b/src/rapid_type_analysis.nit index 3d7ec38..b2683c2 100644 --- a/src/rapid_type_analysis.nit +++ b/src/rapid_type_analysis.nit @@ -219,12 +219,12 @@ class RapidTypeAnalysis v.add_monomorphic_send(vararg, self.modelbuilder.force_get_primitive_method(node, "with_native", vararg.mclass, self.mainmodule)) end - - for i in [0..mmethoddef.msignature.arity[ do - var origtype = mmeth.intro.msignature.mparameters[i].mtype + var sig = mmethoddef.msignature.as(not null) + var osig = mmeth.intro.msignature.as(not null) + for i in [0..sig.arity[ do + var origtype = osig.mparameters[i].mtype if not origtype.need_anchor then continue # skip non covariant stuff - var paramtype = mmethoddef.msignature.mparameters[i].mtype - #paramtype = v.cleanup_type(paramtype).as(not null) + var paramtype = sig.mparameters[i].mtype add_cast(paramtype) end -- 1.7.9.5