From: Jean Privat Date: Mon, 7 Apr 2014 14:49:05 +0000 (-0400) Subject: rta: add_monomorphic_send mark the mproperty as live X-Git-Tag: v0.6.6~101^2~5 X-Git-Url: http://nitlanguage.org rta: add_monomorphic_send mark the mproperty as live Signed-off-by: Jean Privat --- diff --git a/src/rapid_type_analysis.nit b/src/rapid_type_analysis.nit index 1017b08..4916889 100644 --- a/src/rapid_type_analysis.nit +++ b/src/rapid_type_analysis.nit @@ -473,7 +473,11 @@ class RapidTypeVisitor fun add_type(mtype: MClassType) do analysis.add_new(receiver, mtype) - fun add_monomorphic_send(mtype: MType, mproperty: MMethod) do analysis.try_send(mtype.as(MClassType), mproperty) + fun add_monomorphic_send(mtype: MType, mproperty: MMethod) + do + analysis.live_methods.add(mproperty) + analysis.try_send(mtype.as(MClassType), mproperty) + end fun add_send(mtype: MType, mproperty: MMethod) do analysis.add_send(mtype, mproperty)