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

diff --git a/c_src/nit__nith.sep.1.c b/c_src/nit__nith.sep.1.c
index 14bded5..e1e7935 100644
--- a/c_src/nit__nith.sep.1.c
+++ b/c_src/nit__nith.sep.1.c
@@ -21,34 +21,31 @@ int idtype;
 const char* var_class_name;
 long var19 /* : Int */;
 long var_sum /* var sum: Int */;
-long var20 /* : Int */;
-short int var21 /* : Bool */;
-short int var23 /* : Bool */;
-int cltype24;
-int idtype25;
-const char* var_class_name26;
-short int var27 /* : Bool */;
+short int var20 /* : Bool */;
+short int var22 /* : Bool */;
+int cltype23;
+int idtype24;
+const char* var_class_name25;
+short int var26 /* : Bool */;
+val* var27 /* : Sys */;
 static val* varonce;
 val* var28 /* : String */;
 char* var29 /* : NativeString */;
-long var30 /* : Int */;
-val* var31 /* : FlatString */;
-long var32 /* : Int */;
-long var34 /* : Int */;
+val* var30 /* : FlatString */;
+val* var31 /* : Sys */;
+short int var33 /* : Bool */;
 short int var35 /* : Bool */;
-short int var37 /* : Bool */;
+val* var36 /* : OptionBool */;
 val* var38 /* : OptionBool */;
-val* var40 /* : OptionBool */;
-short int var41 /* : Bool */;
-short int var43 /* : Bool */;
-int cltype44;
-int idtype45;
+short int var40 /* : Bool */;
+int cltype41;
+int idtype42;
 const struct type* type_struct;
-const char* var_class_name46;
-val* var47 /* : nullable Object */;
+const char* var_class_name43;
+val* var44 /* : nullable Object */;
 var_args = p0;
 {
-((void (*)(val* self, val* p0))(self->class->vft[COLOR_nit__nith___ToolContext___process_options]))(self, p0) /* process_options on <self:ToolContext>*/;
+((void(*)(val* self, val* p0))(self->class->vft[COLOR_nit__nith___ToolContext___process_options]))(self, p0); /* process_options on <self:ToolContext>*/
 }
 {
 { /* Inline separate_compiler#ToolContext#opt_separate (self) on <self:ToolContext> */
@@ -56,7 +53,7 @@ var2 = self->attrs[COLOR_nit__separate_compiler__ToolContext___opt_separate].val
 if (unlikely(var2 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _opt_separate");
 PRINT_ERROR(" (%s:%d)\n", FILE_nit__separate_compiler, 24);
-show_backtrace(1);
+fatal_exit(1);
 }
 var = var2;
 RET_LABEL1:(void)0;
@@ -70,7 +67,7 @@ RET_LABEL4:(void)0;
 }
 }
 {
-var7 = ((struct instance_standard__Bool*)var3)->value; /* autounbox from nullable Object to Bool */;
+var7 = (short int)((long)(var3)>>2);
 var6 = standard___standard__Bool___to_i(var7);
 }
 {
@@ -79,7 +76,7 @@ var10 = self->attrs[COLOR_nit__separate_erasure_compiler__ToolContext___opt_eras
 if (unlikely(var10 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _opt_erasure");
 PRINT_ERROR(" (%s:%d)\n", FILE_nit__separate_erasure_compiler, 22);
-show_backtrace(1);
+fatal_exit(1);
 }
 var8 = var10;
 RET_LABEL9:(void)0;
@@ -93,7 +90,7 @@ RET_LABEL12:(void)0;
 }
 }
 {
-var15 = ((struct instance_standard__Bool*)var11)->value; /* autounbox from nullable Object to Bool */;
+var15 = (short int)((long)(var11)>>2);
 var14 = standard___standard__Bool___to_i(var15);
 }
 {
@@ -104,8 +101,8 @@ var18 = 1; /* easy <var14:Int> isa OTHER*/
 if (unlikely(!var18)) {
 var_class_name = type_standard__Int.name;
 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 413);
-show_backtrace(1);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 537);
+fatal_exit(1);
 }
 var19 = var6 + var14;
 var16 = var19;
@@ -114,89 +111,86 @@ RET_LABEL17:(void)0;
 }
 }
 var_sum = var16;
-var20 = 1;
 {
-{ /* Inline kernel#Int#> (var_sum,var20) on <var_sum:Int> */
-/* Covariant cast for argument 0 (i) <var20:Int> isa OTHER */
-/* <var20:Int> isa OTHER */
-var23 = 1; /* easy <var20:Int> isa OTHER*/
-if (unlikely(!var23)) {
-var_class_name26 = type_standard__Int.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name26);
-PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 412);
-show_backtrace(1);
-}
-var27 = var_sum > var20;
-var21 = var27;
-goto RET_LABEL22;
-RET_LABEL22:(void)0;
-}
-}
-if (var21){
-if (varonce) {
+{ /* Inline kernel#Int#> (var_sum,1l) on <var_sum:Int> */
+/* Covariant cast for argument 0 (i) <1l:Int> isa OTHER */
+/* <1l:Int> isa OTHER */
+var22 = 1; /* easy <1l:Int> isa OTHER*/
+if (unlikely(!var22)) {
+var_class_name25 = type_standard__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name25);
+PRINT_ERROR(" (%s:%d)\n", FILE_standard__kernel, 536);
+fatal_exit(1);
+}
+var26 = var_sum > 1l;
+var20 = var26;
+goto RET_LABEL21;
+RET_LABEL21:(void)0;
+}
+}
+if (var20){
+var27 = glob_sys;
+if (likely(varonce!=NULL)) {
 var28 = varonce;
 } else {
 var29 = "Options --separate and --erasure are exclusive";
-var30 = 46;
-var31 = standard___standard__NativeString___to_s_with_length(var29, var30);
-var28 = var31;
+var30 = standard___standard__NativeString___to_s_with_length(var29, 46l);
+var28 = var30;
 varonce = var28;
 }
 {
-standard__file___Object___print(self, var28); /* Direct call file#Object#print on <self:ToolContext>*/
+standard__file___Sys___print(var27, var28); /* Direct call file#Sys#print on <var27:Sys>*/
 }
-var32 = 1;
+var31 = glob_sys;
 {
-{ /* Inline kernel#Object#exit (self,var32) on <self:ToolContext> */
-exit(var32);
-RET_LABEL33:(void)0;
+{ /* Inline kernel#Sys#exit (var31,1l) on <var31:Sys> */
+exit(1l);
+RET_LABEL32:(void)0;
 }
 }
 } else {
-var34 = 0;
 {
-{ /* Inline kernel#Int#== (var_sum,var34) on <var_sum:Int> */
-var37 = var_sum == var34;
-var35 = var37;
-goto RET_LABEL36;
-RET_LABEL36:(void)0;
+{ /* Inline kernel#Int#== (var_sum,0l) on <var_sum:Int> */
+var35 = var_sum == 0l;
+var33 = var35;
+goto RET_LABEL34;
+RET_LABEL34:(void)0;
 }
 }
-if (var35){
+if (var33){
 {
 { /* Inline separate_compiler#ToolContext#opt_separate (self) on <self:ToolContext> */
-var40 = self->attrs[COLOR_nit__separate_compiler__ToolContext___opt_separate].val; /* _opt_separate on <self:ToolContext> */
-if (unlikely(var40 == NULL)) {
+var38 = self->attrs[COLOR_nit__separate_compiler__ToolContext___opt_separate].val; /* _opt_separate on <self:ToolContext> */
+if (unlikely(var38 == NULL)) {
 PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _opt_separate");
 PRINT_ERROR(" (%s:%d)\n", FILE_nit__separate_compiler, 24);
-show_backtrace(1);
+fatal_exit(1);
 }
-var38 = var40;
-RET_LABEL39:(void)0;
+var36 = var38;
+RET_LABEL37:(void)0;
 }
 }
-var41 = 1;
 {
-{ /* Inline opts#Option#value= (var38,var41) on <var38:OptionBool> */
-/* Covariant cast for argument 0 (value) <var41:Bool> isa VALUE */
-/* <var41:Bool> isa VALUE */
-type_struct = var38->type->resolution_table->types[COLOR_opts__Option__VALUE];
-cltype44 = type_struct->color;
-idtype45 = type_struct->id;
-if(cltype44 >= (&type_standard__Bool)->table_size) {
-var43 = 0;
+{ /* Inline opts#Option#value= (var36,1) on <var36:OptionBool> */
+/* Covariant cast for argument 0 (value) <1:Bool> isa VALUE */
+/* <1:Bool> isa VALUE */
+type_struct = var36->type->resolution_table->types[COLOR_opts__Option__VALUE];
+cltype41 = type_struct->color;
+idtype42 = type_struct->id;
+if(cltype41 >= (&type_standard__Bool)->table_size) {
+var40 = 0;
 } else {
-var43 = (&type_standard__Bool)->type_table[cltype44] == idtype45;
+var40 = (&type_standard__Bool)->type_table[cltype41] == idtype42;
 }
-if (unlikely(!var43)) {
-var_class_name46 = type_standard__Bool.name;
-PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name46);
+if (unlikely(!var40)) {
+var_class_name43 = type_standard__Bool.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name43);
 PRINT_ERROR(" (%s:%d)\n", FILE_opts, 40);
-show_backtrace(1);
+fatal_exit(1);
 }
-var47 = BOX_standard__Bool(var41); /* autobox from Bool to nullable Object */
-var38->attrs[COLOR_opts__Option___value].val = var47; /* _value on <var38:OptionBool> */
-RET_LABEL42:(void)0;
+var44 = (val*)((long)(1)<<2|3);
+var36->attrs[COLOR_opts__Option___value].val = var44; /* _value on <var36:OptionBool> */
+RET_LABEL39:(void)0;
 }
 }
 } else {