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

diff --git a/src/compiler/separate_compiler.nit b/src/compiler/separate_compiler.nit
index dab4a79..31a4f20 100644
--- a/src/compiler/separate_compiler.nit
+++ b/src/compiler/separate_compiler.nit
@@ -252,7 +252,7 @@ class SeparateCompiler
 	do
 		# Collect all bas box class
 		# FIXME: this is not completely fine with a separate compilation scheme
-		for classname in ["Int", "Bool", "Char", "Float", "NativeString", "Pointer"] do
+		for classname in ["Int", "Bool", "Byte", "Char", "Float", "NativeString", "Pointer"] do
 			var classes = self.mainmodule.model.get_mclasses_by_name(classname)
 			if classes == null then continue
 			assert classes.length == 1 else print classes.join(", ")
@@ -458,14 +458,14 @@ class SeparateCompiler
 
 		var mtypes_by_class = new MultiHashMap[MClass, MType]
 		for e in mtypes do
-			var c = e.as_notnullable.as(MClassType).mclass
+			var c = e.undecorate.as(MClassType).mclass
 			mtypes_by_class[c].add(e)
 			poset.add_node(e)
 		end
 
 		var casttypes_by_class = new MultiHashMap[MClass, MType]
 		for e in cast_types do
-			var c = e.as_notnullable.as(MClassType).mclass
+			var c = e.undecorate.as(MClassType).mclass
 			casttypes_by_class[c].add(e)
 			poset.add_node(e)
 		end
@@ -510,7 +510,7 @@ class SeparateCompiler
 		# Group cast_type by their classes
 		var bucklets = new HashMap[MClass, Set[MType]]
 		for e in cast_types do
-			var c = e.as_notnullable.as(MClassType).mclass
+			var c = e.undecorate.as(MClassType).mclass
 			if not bucklets.has_key(c) then
 				bucklets[c] = new HashSet[MType]
 			end
@@ -742,7 +742,7 @@ class SeparateCompiler
 
 		# resolution table (for receiver)
 		if is_live then
-			var mclass_type = mtype.as_notnullable
+			var mclass_type = mtype.undecorate
 			assert mclass_type isa MClassType
 			if resolution_tables[mclass_type].is_empty then
 				v.add_decl("NULL, /*NO RESOLUTIONS*/")
@@ -768,14 +768,15 @@ class SeparateCompiler
 			end
 			v.add_decl("\},")
 		else
-			v.add_decl("0, \{\}, /*DEAD TYPE*/")
+			# Use -1 to indicate dead type, the info is used by --hardening
+			v.add_decl("-1, \{\}, /*DEAD TYPE*/")
 		end
 		v.add_decl("\};")
 	end
 
 	fun compile_type_resolution_table(mtype: MType) do
 
-		var mclass_type = mtype.as_notnullable.as(MClassType)
+		var mclass_type = mtype.undecorate.as(MClassType)
 
 		# extern const struct resolution_table_X resolution_table_X
 		self.provide_declaration("resolution_table_{mtype.c_name}", "extern const struct types resolution_table_{mtype.c_name};")
@@ -1036,7 +1037,7 @@ class SeparateCompiler
 		v.add("if({t} == NULL) \{")
 		v.add_abort("type null")
 		v.add("\}")
-		v.add("if({t}->table_size == 0) \{")
+		v.add("if({t}->table_size < 0) \{")
 		v.add("PRINT_ERROR(\"Insantiation of a dead type: %s\\n\", {t}->name);")
 		v.add_abort("type dead")
 		v.add("\}")
@@ -1436,13 +1437,14 @@ class SeparateCompilerVisitor
 		if compiler.modelbuilder.toolcontext.opt_invocation_metrics.value then add("count_invoke_by_tables++;")
 
 		assert arguments.length == mmethod.intro.msignature.arity + 1 else debug("Invalid arity for {mmethod}. {arguments.length} arguments given.")
-		var recv = arguments.first
 
 		var res0 = before_send(mmethod, arguments)
 
 		var runtime_function = mmethod.intro.virtual_runtime_function
 		var msignature = runtime_function.called_signature
 
+		adapt_signature(mmethod.intro, arguments)
+
 		var res: nullable RuntimeVariable
 		var ret = msignature.return_mtype
 		if ret == null then
@@ -1451,18 +1453,7 @@ class SeparateCompilerVisitor
 			res = self.new_var(ret)
 		end
 
-		var ss = new FlatBuffer
-
-		ss.append("{recv}")
-		for i in [0..msignature.arity[ do
-			var a = arguments[i+1]
-			var t = msignature.mparameters[i].mtype
-			if i == msignature.vararg_rank then
-				t = arguments[i+1].mcasttype
-			end
-			a = self.autobox(a, t)
-			ss.append(", {a}")
-		end
+		var ss = arguments.join(", ")
 
 		var const_color = mentity.const_color
 		var ress
@@ -2006,7 +1997,7 @@ class SeparateCompilerVisitor
 
 	fun can_be_primitive(value: RuntimeVariable): Bool
 	do
-		var t = value.mcasttype.as_notnullable
+		var t = value.mcasttype.undecorate
 		if not t isa MClassType then return false
 		var k = t.mclass.kind
 		return k == interface_kind or t.is_c_primitive
@@ -2042,6 +2033,7 @@ class SeparateCompilerVisitor
 		self.require_declaration("NEW_{mtype.mclass.c_name}")
 		assert mtype isa MGenericType
 		var compiler = self.compiler
+		length = autobox(length, compiler.mainmodule.int_type)
 		if mtype.need_anchor then
 			hardening_live_open_type(mtype)
 			link_unresolved_type(self.frame.mpropdef.mclassdef, mtype)