From 93cb5d9cd920b2a1adef133ba2d6a707d2e49e1e Mon Sep 17 00:00:00 2001
From: Jean Privat <jean@pryen.org>
Date: Fri, 28 Feb 2014 13:35:32 -0500
Subject: [PATCH] nitg-s: remove partial_types

rta and nitg-s now do the right thing for detecting and compiling type tests.
The partial types hack is thus useless.

Signed-off-by: Jean Privat <jean@pryen.org>
---
 src/separate_compiler.nit |   34 ----------------------------------
 1 file changed, 34 deletions(-)

diff --git a/src/separate_compiler.nit b/src/separate_compiler.nit
index a3d1ce3..9bce4bd 100644
--- a/src/separate_compiler.nit
+++ b/src/separate_compiler.nit
@@ -119,7 +119,6 @@ class SeparateCompiler
 	var runtime_type_analysis: nullable RapidTypeAnalysis
 
 	private var undead_types: Set[MType] = new HashSet[MType]
-	private var partial_types: Set[MType] = new HashSet[MType]
 	private var live_unresolved_types: Map[MClassDef, Set[MType]] = new HashMap[MClassDef, HashSet[MType]]
 
 	private var type_layout: nullable Layout[MType]
@@ -452,11 +451,6 @@ class SeparateCompiler
 			mtypes.add(c.mclass_type)
 		end
 
-		for mtype in mtypes do
-			retrieve_partial_types(mtype)
-		end
-		mtypes.add_all(self.partial_types)
-
 		# Typing Layout
 		var layout_builder: TypingLayoutBuilder[MType]
 		if modelbuilder.toolcontext.opt_bm_typing.value then
@@ -585,34 +579,6 @@ class SeparateCompiler
 		return tables
 	end
 
-	fun retrieve_partial_types(mtype: MType) do
-		# add formal types arguments to mtypes
-		if mtype isa MGenericType then
-			for ft in mtype.arguments do
-				if ft.need_anchor then
-					print("Why do we need anchor here ?")
-					abort
-				end
-				self.partial_types.add(ft)
-				retrieve_partial_types(ft)
-			end
-		end
-		var mclass_type: MClassType
-		if mtype isa MNullableType then
-			mclass_type = mtype.mtype.as(MClassType)
-		else
-			mclass_type = mtype.as(MClassType)
-		end
-
-		# add virtual types to mtypes
-		for vt in self.mainmodule.properties(mclass_type.mclass) do
-			if vt isa MVirtualTypeProp then
-				var anchored = vt.mvirtualtype.lookup_bound(self.mainmodule, mclass_type).anchor_to(self.mainmodule, mclass_type)
-				self.partial_types.add(anchored)
-			end
-		end
-	end
-
 	# Separately compile all the method definitions of the module
 	fun compile_module_to_c(mmodule: MModule)
 	do
-- 
1.7.9.5