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

diff --git a/src/compiler/abstract_compiler.nit b/src/compiler/abstract_compiler.nit
index a4c55f8..e83739d 100644
--- a/src/compiler/abstract_compiler.nit
+++ b/src/compiler/abstract_compiler.nit
@@ -22,47 +22,48 @@ import semantize
 import platform
 import c_tools
 private import annotation
+import mixin
 
 # Add compiling options
 redef class ToolContext
 	# --output
-	var opt_output: OptionString = new OptionString("Output file", "-o", "--output")
+	var opt_output = new OptionString("Output file", "-o", "--output")
 	# --dir
-	var opt_dir: OptionString = new OptionString("Output directory", "--dir")
+	var opt_dir = new OptionString("Output directory", "--dir")
 	# --no-cc
-	var opt_no_cc: OptionBool = new OptionBool("Do not invoke C compiler", "--no-cc")
+	var opt_no_cc = new OptionBool("Do not invoke C compiler", "--no-cc")
 	# --no-main
-	var opt_no_main: OptionBool = new OptionBool("Do not generate main entry point", "--no-main")
+	var opt_no_main = new OptionBool("Do not generate main entry point", "--no-main")
 	# --cc-paths
-	var opt_cc_path: OptionArray = new OptionArray("Set include path for C header files (may be used more than once)", "--cc-path")
+	var opt_cc_path = new OptionArray("Set include path for C header files (may be used more than once)", "--cc-path")
 	# --make-flags
-	var opt_make_flags: OptionString = new OptionString("Additional options to make", "--make-flags")
+	var opt_make_flags = new OptionString("Additional options to make", "--make-flags")
 	# --compile-dir
-	var opt_compile_dir: OptionString = new OptionString("Directory used to generate temporary files", "--compile-dir")
+	var opt_compile_dir = new OptionString("Directory used to generate temporary files", "--compile-dir")
 	# --hardening
-	var opt_hardening: OptionBool = new OptionBool("Generate contracts in the C code against bugs in the compiler", "--hardening")
+	var opt_hardening = new OptionBool("Generate contracts in the C code against bugs in the compiler", "--hardening")
 	# --no-shortcut-range
-	var opt_no_shortcut_range: OptionBool = new OptionBool("Always insantiate a range and its iterator on 'for' loops", "--no-shortcut-range")
+	var opt_no_shortcut_range = new OptionBool("Always insantiate a range and its iterator on 'for' loops", "--no-shortcut-range")
 	# --no-check-covariance
-	var opt_no_check_covariance: OptionBool = new OptionBool("Disable type tests of covariant parameters (dangerous)", "--no-check-covariance")
+	var opt_no_check_covariance = new OptionBool("Disable type tests of covariant parameters (dangerous)", "--no-check-covariance")
 	# --no-check-attr-isset
-	var opt_no_check_attr_isset: OptionBool = new OptionBool("Disable isset tests before each attribute access (dangerous)", "--no-check-attr-isset")
+	var opt_no_check_attr_isset = new OptionBool("Disable isset tests before each attribute access (dangerous)", "--no-check-attr-isset")
 	# --no-check-assert
-	var opt_no_check_assert: OptionBool = new OptionBool("Disable the evaluation of explicit 'assert' and 'as' (dangerous)", "--no-check-assert")
+	var opt_no_check_assert = new OptionBool("Disable the evaluation of explicit 'assert' and 'as' (dangerous)", "--no-check-assert")
 	# --no-check-autocast
-	var opt_no_check_autocast: OptionBool = new OptionBool("Disable implicit casts on unsafe expression usage (dangerous)", "--no-check-autocast")
+	var opt_no_check_autocast = new OptionBool("Disable implicit casts on unsafe expression usage (dangerous)", "--no-check-autocast")
 	# --no-check-null
-	var opt_no_check_null: OptionBool = new OptionBool("Disable tests of null receiver (dangerous)", "--no-check-null")
+	var opt_no_check_null = new OptionBool("Disable tests of null receiver (dangerous)", "--no-check-null")
 	# --no-check-all
-	var opt_no_check_all: OptionBool = new OptionBool("Disable all tests (dangerous)", "--no-check-all")
+	var opt_no_check_all = new OptionBool("Disable all tests (dangerous)", "--no-check-all")
 	# --typing-test-metrics
-	var opt_typing_test_metrics: OptionBool = new OptionBool("Enable static and dynamic count of all type tests", "--typing-test-metrics")
+	var opt_typing_test_metrics = new OptionBool("Enable static and dynamic count of all type tests", "--typing-test-metrics")
 	# --invocation-metrics
-	var opt_invocation_metrics: OptionBool = new OptionBool("Enable static and dynamic count of all method invocations", "--invocation-metrics")
+	var opt_invocation_metrics = new OptionBool("Enable static and dynamic count of all method invocations", "--invocation-metrics")
 	# --isset-checks-metrics
-	var opt_isset_checks_metrics: OptionBool = new OptionBool("Enable static and dynamic count of isset checks before attributes access", "--isset-checks-metrics")
+	var opt_isset_checks_metrics = new OptionBool("Enable static and dynamic count of isset checks before attributes access", "--isset-checks-metrics")
 	# --stacktrace
-	var opt_stacktrace: OptionString = new OptionString("Control the generation of stack traces", "--stacktrace")
+	var opt_stacktrace = new OptionString("Control the generation of stack traces", "--stacktrace")
 	# --no-gcc-directives
 	var opt_no_gcc_directive = new OptionArray("Disable a advanced gcc directives for optimization", "--no-gcc-directive")
 	# --release
@@ -181,7 +182,6 @@ class MakefileToolchain
 	do
 		gather_cc_paths
 
-		var mainmodule = compiler.mainmodule
 		var compile_dir = compile_dir
 
 		# Generate the .h and .c files
@@ -229,7 +229,6 @@ class MakefileToolchain
 		compiler.files_to_copy.add "{cc_paths.first}/gc_chooser.h"
 
 		# FFI
-		var m2m = toolcontext.modelbuilder.mmodule2nmodule
 		for m in compiler.mainmodule.in_importation.greaters do
 			compiler.finalize_ffi_for_module(m)
 		end
@@ -310,7 +309,16 @@ class MakefileToolchain
 
 	fun makefile_name(mainmodule: MModule): String do return "{mainmodule.name}.mk"
 
-	fun default_outname(mainmodule: MModule): String do return mainmodule.name
+	fun default_outname(mainmodule: MModule): String
+	do
+		# Search a non fictive module
+		var res = mainmodule.name
+		while mainmodule.is_fictive do
+			mainmodule = mainmodule.in_importation.direct_greaters.first
+			res = mainmodule.name
+		end
+		return res
+	end
 
 	# Combine options and platform informations to get the final path of the outfile
 	fun outfile(mainmodule: MModule): String
@@ -330,7 +338,7 @@ class MakefileToolchain
 
 		var outname = outfile(mainmodule)
 
-		var orig_dir=".." # FIXME only works if `compile_dir` is a subdirectory of cwd
+		var orig_dir = compile_dir.relpath(".")
 		var outpath = orig_dir.join_path(outname).simplify_path
 		var makename = makefile_name(mainmodule)
 		var makepath = "{compile_dir}/{makename}"
@@ -342,7 +350,6 @@ class MakefileToolchain
 		end
 
 		var linker_options = new HashSet[String]
-		var m2m = toolcontext.modelbuilder.mmodule2nmodule
 		for m in mainmodule.in_importation.greaters do
 			var libs = m.collect_linker_libs
 			if libs != null then linker_options.add_all(libs)
@@ -450,7 +457,7 @@ abstract class AbstractCompiler
 	# The real main module of the program
 	var realmainmodule: MModule
 
-	# The modeulbuilder used to know the model and the AST
+	# The modelbuilder used to know the model and the AST
 	var modelbuilder: ModelBuilder is protected writable
 
 	# Is hardening asked? (see --hardening)
@@ -474,7 +481,7 @@ abstract class AbstractCompiler
 
 	# The list of all associated files
 	# Used to generate .c files
-	var files: List[CodeFile] = new List[CodeFile]
+	var files = new List[CodeFile]
 
 	# Initialize a visitor specific for a compiler engine
 	fun new_visitor: VISITOR is abstract
@@ -541,8 +548,6 @@ abstract class AbstractCompiler
 	# Compile C headers
 	# This method call compile_header_strucs method that has to be refined
 	fun compile_header do
-		var v = self.header
-		var toolctx = modelbuilder.toolcontext
 		self.header.add_decl("#include <stdlib.h>")
 		self.header.add_decl("#include <stdio.h>")
 		self.header.add_decl("#include <string.h>")
@@ -891,6 +896,7 @@ extern void nitni_global_ref_decr( struct nitni_ref *ref ) {
 		var cds = mtype.collect_mclassdefs(self.mainmodule).to_a
 		self.mainmodule.linearize_mclassdefs(cds)
 		for cd in cds do
+			if not self.modelbuilder.mclassdef2nclassdef.has_key(cd) then continue
 			var n = self.modelbuilder.mclassdef2nclassdef[cd]
 			for npropdef in n.n_propdefs do
 				if npropdef isa AAttrPropdef then
@@ -906,6 +912,7 @@ extern void nitni_global_ref_decr( struct nitni_ref *ref ) {
 		var cds = mtype.collect_mclassdefs(self.mainmodule).to_a
 		self.mainmodule.linearize_mclassdefs(cds)
 		for cd in cds do
+			if not self.modelbuilder.mclassdef2nclassdef.has_key(cd) then continue
 			var n = self.modelbuilder.mclassdef2nclassdef[cd]
 			for npropdef in n.n_propdefs do
 				if npropdef isa AAttrPropdef then
@@ -1044,7 +1051,7 @@ abstract class AbstractCompilerVisitor
 	fun get_property(name: String, recv: MType): MMethod
 	do
 		assert recv isa MClassType
-		return self.compiler.modelbuilder.force_get_primitive_method(self.current_node.as(not null), name, recv.mclass, self.compiler.mainmodule)
+		return self.compiler.modelbuilder.force_get_primitive_method(self.current_node, name, recv.mclass, self.compiler.mainmodule)
 	end
 
 	fun compile_callsite(callsite: CallSite, arguments: Array[RuntimeVariable]): nullable RuntimeVariable
@@ -1053,16 +1060,21 @@ abstract class AbstractCompilerVisitor
 		if not initializers.is_empty then
 			var recv = arguments.first
 
-			assert initializers.length == arguments.length - 1 else debug("expected {initializers.length}, got {arguments.length - 1}")
 			var i = 1
 			for p in initializers do
 				if p isa MMethod then
-					self.send(p, [recv, arguments[i]])
+					var args = [recv]
+					for x in p.intro.msignature.mparameters do
+						args.add arguments[i]
+						i += 1
+					end
+					self.send(p, args)
 				else if p isa MAttribute then
 					self.write_attribute(p, recv, arguments[i])
+					i += 1
 				else abort
-				i += 1
 			end
+			assert i == arguments.length
 
 			return self.send(callsite.mproperty, [recv])
 		end
@@ -1076,39 +1088,39 @@ abstract class AbstractCompilerVisitor
 
 	fun native_array_def(pname: String, ret_type: nullable MType, arguments: Array[RuntimeVariable]) is abstract
 
-	# Transform varargs, in raw arguments, into a single argument of type `Array`
-	# Note: this method modify the given `args`
-	# If there is no vararg, then `args` is not modified.
-	fun varargize(mpropdef: MPropDef, msignature: MSignature, args: Array[RuntimeVariable])
+	# Evaluate `args` as expressions in the call of `mpropdef` on `recv`.
+	# This method is used to manage varargs in signatures and returns the real array
+	# of runtime variables to use in the call.
+	fun varargize(mpropdef: MMethodDef, recv: RuntimeVariable, args: SequenceRead[AExpr]): Array[RuntimeVariable]
 	do
-		var recv = args.first
-		var vararg_rank = msignature.vararg_rank
-		if vararg_rank >= 0 then
-			assert args.length >= msignature.arity + 1 # because of self
-			var rawargs = args
-			args = new Array[RuntimeVariable]
-
-			args.add(rawargs.first) # recv
+		var msignature = mpropdef.new_msignature or else mpropdef.msignature.as(not null)
+		var res = new Array[RuntimeVariable]
+		res.add(recv)
 
-			for i in [0..vararg_rank[ do
-				args.add(rawargs[i+1])
-			end
-
-			var vararg_lastrank = vararg_rank + rawargs.length-1-msignature.arity
-			var vararg = new Array[RuntimeVariable]
-			for i in [vararg_rank..vararg_lastrank] do
-				vararg.add(rawargs[i+1])
-			end
+		if args.is_empty then return res
 
-			var elttype = msignature.mparameters[vararg_rank].mtype
-			args.add(self.vararg_instance(mpropdef, recv, vararg, elttype))
+		var vararg_rank = msignature.vararg_rank
+		var vararg_len = args.length - msignature.arity
+		if vararg_len < 0 then vararg_len = 0
 
-			for i in [vararg_lastrank+1..rawargs.length-1[ do
-				args.add(rawargs[i+1])
+		for i in [0..msignature.arity[ do
+			if i == vararg_rank then
+				var vararg = new Array[RuntimeVariable]
+				for j in [vararg_rank..vararg_rank+vararg_len] do
+					var e = self.expr(args[j], null)
+					vararg.add(e)
+				end
+				var elttype = msignature.mparameters[vararg_rank].mtype
+				var arg = self.vararg_instance(mpropdef, recv, vararg, elttype)
+				res.add(arg)
+			else
+				var j = i
+				if i > vararg_rank then j += vararg_len
+				var e = self.expr(args[j], null)
+				res.add(e)
 			end
-			rawargs.clear
-			rawargs.add_all(args)
 		end
+		return res
 	end
 
 	# Type handling
@@ -1150,12 +1162,22 @@ abstract class AbstractCompilerVisitor
 	# Generate a super call from a method definition
 	fun supercall(m: MMethodDef, recvtype: MClassType, args: Array[RuntimeVariable]): nullable RuntimeVariable is abstract
 
+	# Adapt the arguments of a method according to targetted `MMethodDef`
 	fun adapt_signature(m: MMethodDef, args: Array[RuntimeVariable]) is abstract
 
+	# Unbox all the arguments of a method when implemented `extern` or `intern`
+	fun unbox_signature_extern(m: MMethodDef, args: Array[RuntimeVariable]) is abstract
+
 	# Box or unbox a value to another type iff a C type conversion is needed
 	# ENSURE: `result.mtype.ctype == mtype.ctype`
 	fun autobox(value: RuntimeVariable, mtype: MType): RuntimeVariable is abstract
 
+	# Box extern classes to be used in the generated code
+	fun box_extern(value: RuntimeVariable, mtype: MType): RuntimeVariable is abstract
+
+	# Unbox extern classes to be used in extern code (legacy NI and FFI)
+	fun unbox_extern(value: RuntimeVariable, mtype: MType): RuntimeVariable is abstract
+
 	#  Generate a polymorphic subtype test
 	fun type_test(value: RuntimeVariable, mtype: MType, tag: String): RuntimeVariable is abstract
 
@@ -1202,7 +1224,7 @@ abstract class AbstractCompilerVisitor
 
 	# Checks
 
-	# Add a check and an abort for a null reciever if needed
+	# Add a check and an abort for a null receiver if needed
 	fun check_recv_notnull(recv: RuntimeVariable)
 	do
 		if self.compiler.modelbuilder.toolcontext.opt_no_check_null.value then return
@@ -1217,7 +1239,7 @@ abstract class AbstractCompilerVisitor
 
 	# Names handling
 
-	private var names: HashSet[String] = new HashSet[String]
+	private var names = new HashSet[String]
 	private var last: Int = 0
 
 	# Return a new name based on `s` and unique in the visitor
@@ -1259,7 +1281,7 @@ abstract class AbstractCompilerVisitor
 
 	# Variables handling
 
-	protected var variables: HashMap[Variable, RuntimeVariable] = new HashMap[Variable, RuntimeVariable]
+	protected var variables = new HashMap[Variable, RuntimeVariable]
 
 	# Return the local runtime_variable associated to a Nit local variable
 	fun variable(variable: Variable): RuntimeVariable
@@ -1287,6 +1309,16 @@ abstract class AbstractCompilerVisitor
 		return res
 	end
 
+	# The difference with `new_var` is the C static type of the local variable
+	fun new_var_extern(mtype: MType): RuntimeVariable
+	do
+		mtype = self.anchor(mtype)
+		var name = self.get_name("var")
+		var res = new RuntimeVariable(name, mtype, mtype)
+		self.add_decl("{mtype.ctype_extern} {name} /* : {mtype} for extern */;")
+		return res
+	end
+
 	# Return a new uninitialized named runtime_variable
 	fun new_named_var(mtype: MType, name: String): RuntimeVariable
 	do
@@ -1328,6 +1360,18 @@ abstract class AbstractCompilerVisitor
 		return res
 	end
 
+	# Generate an integer value
+	fun bool_instance(value: Bool): RuntimeVariable
+	do
+		var res = self.new_var(self.get_class("Bool").mclass_type)
+		if value then
+			self.add("{res} = 1;")
+		else
+			self.add("{res} = 0;")
+		end
+		return res
+	end
+
 	# Generate a string value
 	fun string_instance(string: String): RuntimeVariable
 	do
@@ -1348,6 +1392,19 @@ abstract class AbstractCompilerVisitor
 		return res
 	end
 
+	fun value_instance(object: Object): RuntimeVariable
+	do
+		if object isa Int then
+			return int_instance(object)
+		else if object isa Bool then
+			return bool_instance(object)
+		else if object isa String then
+			return string_instance(object)
+		else
+			abort
+		end
+	end
+
 	# Generate an array value
 	fun array_instance(array: Array[RuntimeVariable], elttype: MType): RuntimeVariable is abstract
 
@@ -1611,6 +1668,10 @@ redef class MType
 	# Return the C type associated to a given Nit static type
 	fun ctype: String do return "val*"
 
+	# C type outside of the compiler code and in boxes
+	fun ctype_extern: String do return "val*"
+
+	# Short name of the `ctype` to use in unions
 	fun ctypename: String do return "val"
 
 	# Return the name of the C structure associated to a Nit live type
@@ -1642,13 +1703,20 @@ redef class MClassType
 			return "char*"
 		else if mclass.name == "NativeArray" then
 			return "val*"
-		else if mclass.kind == extern_kind then
-			return "void*"
 		else
 			return "val*"
 		end
 	end
 
+	redef fun ctype_extern: String
+	do
+		if mclass.kind == extern_kind then
+			return "void*"
+		else
+			return ctype
+		end
+	end
+
 	redef fun ctypename: String
 	do
 		if mclass.name == "Int" then
@@ -1664,8 +1732,6 @@ redef class MClassType
 		else if mclass.name == "NativeArray" then
 			#return "{self.arguments.first.ctype}*"
 			return "val"
-		else if mclass.kind == extern_kind then
-			return "ptr"
 		else
 			return "val"
 		end
@@ -1779,6 +1845,7 @@ redef class MMethodDef
 	fun compile_inside_to_c(v: VISITOR, arguments: Array[RuntimeVariable]): nullable RuntimeVariable
 	do
 		var modelbuilder = v.compiler.modelbuilder
+		var val = constant_value
 		if modelbuilder.mpropdef2npropdef.has_key(self) then
 			var npropdef = modelbuilder.mpropdef2npropdef[self]
 			var oldnode = v.current_node
@@ -1793,6 +1860,8 @@ redef class MMethodDef
 			self.compile_parameter_check(v, arguments)
 			nclassdef.compile_to_c(v, self, arguments)
 			v.current_node = oldnode
+		else if val != null then
+			v.ret(v.value_instance(val))
 		else
 			abort
 		end
@@ -1913,6 +1982,7 @@ redef class AMethPropdef
 		end
 		if pname != "==" and pname != "!=" then
 			v.adapt_signature(mpropdef, arguments)
+			v.unbox_signature_extern(mpropdef, arguments)
 		end
 		if cname == "Int" then
 			if pname == "output" then
@@ -2149,9 +2219,7 @@ redef class AMethPropdef
 			externname = at.arg_as_string(v.compiler.modelbuilder)
 			if externname == null then return false
 		else
-			var nextern = self.n_extern
-			if nextern == null then return false
-			externname = nextern.text.substring(1, nextern.text.length-2)
+			return false
 		end
 		if location.file != null then
 			var file = location.file.filename
@@ -2161,14 +2229,16 @@ redef class AMethPropdef
 		var ret = mpropdef.msignature.return_mtype
 		if ret != null then
 			ret = v.resolve_for(ret, arguments.first)
-			res = v.new_var(ret)
+			res = v.new_var_extern(ret)
 		end
 		v.adapt_signature(mpropdef, arguments)
+		v.unbox_signature_extern(mpropdef, arguments)
 
 		if res == null then
 			v.add("{externname}({arguments.join(", ")});")
 		else
 			v.add("{res} = {externname}({arguments.join(", ")});")
+			res = v.box_extern(res, ret.as(not null))
 			v.ret(res)
 		end
 		return true
@@ -2184,21 +2254,21 @@ redef class AMethPropdef
 			externname = at.arg_as_string(v.compiler.modelbuilder)
 			if externname == null then return false
 		else
-			var nextern = self.n_extern
-			if nextern == null then return false
-			externname = nextern.text.substring(1, nextern.text.length-2)
+			return false
 		end
 		if location.file != null then
 			var file = location.file.filename
 			v.add_extern(file)
 		end
 		v.adapt_signature(mpropdef, arguments)
+		v.unbox_signature_extern(mpropdef, arguments)
 		var ret = arguments.first.mtype
-		var res = v.new_var(ret)
+		var res = v.new_var_extern(ret)
 
 		arguments.shift
 
 		v.add("{res} = {externname}({arguments.join(", ")});")
+		res = v.box_extern(res, ret)
 		v.ret(res)
 		return true
 	end
@@ -2289,33 +2359,12 @@ redef class AClassdef
 	private fun compile_to_c(v: AbstractCompilerVisitor, mpropdef: MMethodDef, arguments: Array[RuntimeVariable])
 	do
 		if mpropdef == self.mfree_init then
-			if mpropdef.mproperty.is_root_init then
-				assert self.super_inits == null
-				assert arguments.length == 1
-				if not mpropdef.is_intro then
-					v.supercall(mpropdef, arguments.first.mtype.as(MClassType), arguments)
-				end
-				return
-			end
-
-			var super_inits = self.super_inits
-			if super_inits != null then
-				var args_of_super = arguments
-				if arguments.length > 1 then args_of_super = [arguments.first]
-				for su in super_inits do
-					v.send(su, args_of_super)
-				end
-			end
-
-			var recv = arguments.first
-			var i = 1
-			# Collect undefined attributes
-			for npropdef in self.n_propdefs do
-				if npropdef isa AAttrPropdef and npropdef.n_expr == null and not npropdef.noinit then
-					v.write_attribute(npropdef.mpropdef.mproperty, recv, arguments[i])
-					i += 1
-				end
+			assert mpropdef.mproperty.is_root_init
+			assert arguments.length == 1
+			if not mpropdef.is_intro then
+				v.supercall(mpropdef, arguments.first.mtype.as(MClassType), arguments)
 			end
+			return
 		else
 			abort
 		end
@@ -2587,6 +2636,12 @@ redef class AForExpr
 		v.compile_callsite(next_meth, [it])
 		v.add("\}")
 		v.add("BREAK_{v.escapemark_name(escapemark)}: (void)0;")
+
+		var method_finish = self.method_finish
+		if method_finish != null then
+			# TODO: Find a way to call this also in long escape (e.g. return)
+			v.compile_callsite(method_finish, [it])
+		end
 	end
 end
 
@@ -2727,7 +2782,7 @@ redef class ACrangeExpr
 		var i2 = v.expr(self.n_expr2, null)
 		var mtype = self.mtype.as(MClassType)
 		var res = v.init_instance(mtype)
-		var it = v.compile_callsite(init_callsite.as(not null), [res, i1, i2])
+		v.compile_callsite(init_callsite.as(not null), [res, i1, i2])
 		return res
 	end
 end
@@ -2739,7 +2794,7 @@ redef class AOrangeExpr
 		var i2 = v.expr(self.n_expr2, null)
 		var mtype = self.mtype.as(MClassType)
 		var res = v.init_instance(mtype)
-		var it = v.compile_callsite(init_callsite.as(not null), [res, i1, i2])
+		v.compile_callsite(init_callsite.as(not null), [res, i1, i2])
 		return res
 	end
 end
@@ -2819,11 +2874,9 @@ redef class ASendExpr
 	redef fun expr(v)
 	do
 		var recv = v.expr(self.n_expr, null)
-		var args = [recv]
-		for a in self.raw_arguments do
-			args.add(v.expr(a, null))
-		end
-		return v.compile_callsite(self.callsite.as(not null), args)
+		var callsite = self.callsite.as(not null)
+		var args = v.varargize(callsite.mpropdef, recv, self.raw_arguments)
+		return v.compile_callsite(callsite, args)
 	end
 end
 
@@ -2831,13 +2884,12 @@ redef class ASendReassignFormExpr
 	redef fun stmt(v)
 	do
 		var recv = v.expr(self.n_expr, null)
-		var args = [recv]
-		for a in self.raw_arguments do
-			args.add(v.expr(a, null))
-		end
+		var callsite = self.callsite.as(not null)
+		var args = v.varargize(callsite.mpropdef, recv, self.raw_arguments)
+
 		var value = v.expr(self.n_value, null)
 
-		var left = v.compile_callsite(self.callsite.as(not null), args)
+		var left = v.compile_callsite(callsite, args)
 		assert left != null
 
 		var res = v.compile_callsite(self.reassign_callsite.as(not null), [left, value])
@@ -2852,14 +2904,12 @@ redef class ASuperExpr
 	redef fun expr(v)
 	do
 		var recv = v.frame.arguments.first
-		var args = [recv]
-		for a in self.n_args.n_exprs do
-			args.add(v.expr(a, null))
-		end
 
 		var callsite = self.callsite
 		if callsite != null then
-			# Add additionnals arguments for the super init call
+			var args = v.varargize(callsite.mpropdef, recv, self.n_args.n_exprs)
+
+			# Add additional arguments for the super init call
 			if args.length == 1 then
 				for i in [0..callsite.msignature.arity[ do
 					args.add(v.frame.arguments[i+1])
@@ -2870,12 +2920,14 @@ redef class ASuperExpr
 			return res
 		end
 
+		var mpropdef = self.mpropdef.as(not null)
+		var args = v.varargize(mpropdef, recv, self.n_args.n_exprs)
 		if args.length == 1 then
 			args = v.frame.arguments
 		end
 
 		# stantard call-next-method
-		return v.supercall(mpropdef.as(not null), recv.mtype.as(MClassType), args)
+		return v.supercall(mpropdef, recv.mtype.as(MClassType), args)
 	end
 end
 
@@ -2893,16 +2945,15 @@ redef class ANewExpr
 			return v.native_array_instance(elttype, l)
 		else if ctype == "val*" then
 			recv = v.init_instance(mtype)
-		else if ctype == "void*" then
+		else if ctype == "char*" then
 			recv = v.new_expr("NULL/*special!*/", mtype)
 		else
 			recv = v.new_expr("({ctype})0/*special!*/", mtype)
 		end
-		var args = [recv]
-		for a in self.n_args.n_exprs do
-			args.add(v.expr(a, null))
-		end
-		var res2 = v.compile_callsite(self.callsite.as(not null), args)
+
+		var callsite = self.callsite.as(not null)
+		var args = v.varargize(callsite.mpropdef, recv, self.n_args.n_exprs)
+		var res2 = v.compile_callsite(callsite, args)
 		if res2 != null then
 			#self.debug("got {res2} from {mproperty}. drop {recv}")
 			return res2
@@ -3005,9 +3056,6 @@ end
 # Create a tool context to handle options and paths
 var toolcontext = new ToolContext
 
-var opt_mixins = new OptionArray("Additionals module to min-in", "-m")
-toolcontext.option_context.add_option(opt_mixins)
-
 toolcontext.tooldescription = "Usage: nitg [OPTION]... file.nit...\nCompiles Nit programs."
 
 # We do not add other options, so process them now!
@@ -3026,7 +3074,6 @@ end
 
 # Here we load an process all modules passed on the command line
 var mmodules = modelbuilder.parse(arguments)
-var mixins = modelbuilder.parse(opt_mixins.value)
 
 if mmodules.is_empty then return
 modelbuilder.run_phases
@@ -3034,8 +3081,5 @@ modelbuilder.run_phases
 for mmodule in mmodules do
 	toolcontext.info("*** PROCESS {mmodule} ***", 1)
 	var ms = [mmodule]
-	if not mixins.is_empty then
-		ms.add_all mixins
-	end
 	toolcontext.run_global_phases(ms)
 end