rta: `add_super_send` uses live_classes instead of live_types
authorJean Privat <jean@pryen.org>
Thu, 14 Aug 2014 17:38:49 +0000 (13:38 -0400)
committerJean Privat <jean@pryen.org>
Thu, 14 Aug 2014 17:40:04 +0000 (13:40 -0400)
Otherwise, some not-yet-resolved open types can be forgot.

Signed-off-by: Jean Privat <jean@pryen.org>

src/rapid_type_analysis.nit

index 31f4015..ceca71d 100644 (file)
@@ -427,8 +427,8 @@ class RapidTypeAnalysis
                if live_super_sends.has(mpropdef) then return
                #print "new super prop: {mpropdef}"
                live_super_sends.add(mpropdef)
-               for t in live_types do
-                       try_super_send(t, mpropdef)
+               for c in live_classes do
+                       try_super_send(c.intro.bound_mtype, mpropdef)
                end
        end
 end