From 880c77d9a9b94af0f06249f37f8115af920df60d Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Mon, 7 Apr 2014 10:49:05 -0400 Subject: [PATCH] rta: add_monomorphic_send mark the mproperty as live Signed-off-by: Jean Privat --- src/rapid_type_analysis.nit | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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) -- 1.7.9.5