typing: allow `new` on interface and abstract classes that have a `new`-factory

[nit.git] / src / phase.nit

diff --git a/src/phase.nit b/src/phase.nit
index 367cffa..d1cc1cb 100644 (file)
--- a/src/phase.nit
+++ b/src/phase.nit
@@ -71,6 +71,9 @@ redef class ToolContext
                return phases
        end
 
+       # Set of already analyzed modules.
+       private var phased_modules = new HashSet[AModule]
+
        # Run all registered phases on a set of modules
        fun run_phases(nmodules: Collection[AModule])
        do
@@ -85,6 +88,9 @@ redef class ToolContext
                end
 
                for nmodule in nmodules do
+                       if phased_modules.has(nmodule) then continue
+                       phased_modules.add nmodule
+
                        self.info("Semantic analysis module {nmodule.location.file.filename}", 2)
 
                        var vannot = new AnnotationPhaseVisitor
@@ -126,6 +132,8 @@ redef class ToolContext
 
                var time1 = get_time
                self.info("*** END SEMANTIC ANALYSIS: {time1-time0} ***", 2)
+
+               errors_info
        end
 
        fun phase_process_npropdef(phase: Phase, npropdef: APropdef)