X-Git-Url: http://nitlanguage.org

diff --git a/src/modelize/modelize_class.nit b/src/modelize/modelize_class.nit
index 470afb2..c779df9 100644
--- a/src/modelize/modelize_class.nit
+++ b/src/modelize/modelize_class.nit
@@ -295,9 +295,8 @@ redef class ModelBuilder
 		nmodule.build_classes_is_done = true
 		var mmodule = nmodule.mmodule.as(not null)
 		for imp in mmodule.in_importation.direct_greaters do
-
-			if not mmodule2nmodule.has_key(imp) then continue
-			build_classes(mmodule2nmodule[imp])
+			var nimp = mmodule2node(imp)
+			if nimp != null then build_classes(nimp)
 		end
 
 		if errcount != toolcontext.error_count then return
@@ -426,114 +425,6 @@ redef class ModelBuilder
 
 	# Registration of the nclassdef associated to each mclassdef
 	private var mclassdef2nclassdef = new HashMap[MClassDef, AClassdef]
-
-	# Return the static type associated to the node `ntype`.
-	# `mmodule` and `mclassdef` is the context where the call is made (used to understand formal types)
-	# In case of problem, an error is displayed on `ntype` and null is returned.
-	# FIXME: the name "resolve_mtype" is awful
-	fun resolve_mtype_unchecked(mmodule: MModule, mclassdef: nullable MClassDef, ntype: AType, with_virtual: Bool): nullable MType
-	do
-		var name = ntype.n_id.text
-		var res: MType
-
-		# Check virtual type
-		if mclassdef != null and with_virtual then
-			var prop = try_get_mproperty_by_name(ntype, mclassdef, name).as(nullable MVirtualTypeProp)
-			if prop != null then
-				if not ntype.n_types.is_empty then
-					error(ntype, "Type error: formal type {name} cannot have formal parameters.")
-				end
-				res = prop.mvirtualtype
-				if ntype.n_kwnullable != null then res = res.as_nullable
-				ntype.mtype = res
-				return res
-			end
-		end
-
-		# Check parameter type
-		if mclassdef != null then
-			for p in mclassdef.mclass.mparameters do
-				if p.name != name then continue
-
-				if not ntype.n_types.is_empty then
-					error(ntype, "Type error: formal type {name} cannot have formal parameters.")
-				end
-
-				res = p
-				if ntype.n_kwnullable != null then res = res.as_nullable
-				ntype.mtype = res
-				return res
-			end
-		end
-
-		# Check class
-		var mclass = try_get_mclass_by_name(ntype, mmodule, name)
-		if mclass != null then
-			var arity = ntype.n_types.length
-			if arity != mclass.arity then
-				if arity == 0 then
-					error(ntype, "Type error: '{name}' is a generic class.")
-				else if mclass.arity == 0 then
-					error(ntype, "Type error: '{name}' is not a generic class.")
-				else
-					error(ntype, "Type error: '{name}' has {mclass.arity} parameters ({arity} are provided).")
-				end
-				return null
-			end
-			if arity == 0 then
-				res = mclass.mclass_type
-				if ntype.n_kwnullable != null then res = res.as_nullable
-				ntype.mtype = res
-				return res
-			else
-				var mtypes = new Array[MType]
-				for nt in ntype.n_types do
-					var mt = resolve_mtype_unchecked(mmodule, mclassdef, nt, with_virtual)
-					if mt == null then return null # Forward error
-					mtypes.add(mt)
-				end
-				res = mclass.get_mtype(mtypes)
-				if ntype.n_kwnullable != null then res = res.as_nullable
-				ntype.mtype = res
-				return res
-			end
-		end
-
-		# If everything fail, then give up :(
-		error(ntype, "Type error: class {name} not found in module {mmodule}.")
-		return null
-	end
-
-	# Return the static type associated to the node `ntype`.
-	# `mmodule` and `mclassdef` is the context where the call is made (used to understand formal types)
-	# In case of problem, an error is displayed on `ntype` and null is returned.
-	# FIXME: the name "resolve_mtype" is awful
-	fun resolve_mtype(mmodule: MModule, mclassdef: nullable MClassDef, ntype: AType): nullable MType
-	do
-		var mtype = ntype.mtype
-		if mtype == null then mtype = resolve_mtype_unchecked(mmodule, mclassdef, ntype, true)
-		if mtype == null then return null # Forward error
-
-		if ntype.checked_mtype then return mtype
-		if mtype isa MGenericType then
-			var mclass = mtype.mclass
-			for i in [0..mclass.arity[ do
-				var bound = mclass.intro.bound_mtype.arguments[i]
-				var nt = ntype.n_types[i]
-				var mt = resolve_mtype(mmodule, mclassdef, nt)
-				if mt == null then return null # forward error
-				var anchor
-				if mclassdef != null then anchor = mclassdef.bound_mtype else anchor = null
-				if not mt.is_subtype(mmodule, anchor, bound) then
-					error(nt, "Type error: expected {bound}, got {mt}")
-					return null
-				end
-			end
-		end
-		ntype.checked_mtype = true
-		return mtype
-	end
-
 end
 
 redef class AModule
@@ -580,11 +471,3 @@ redef class AFormaldef
 	# The associated bound
 	var bound: nullable MType = null
 end
-
-redef class AType
-	# The mtype associated to the node
-	var mtype: nullable MType = null
-
-	# Is the mtype a valid one?
-	var checked_mtype: Bool = false
-end