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

diff --git a/c_src/sorter.sep.1.c b/c_src/sorter.sep.1.c
index 3aab30b..f4316ad 100644
--- a/c_src/sorter.sep.1.c
+++ b/c_src/sorter.sep.1.c
@@ -34,7 +34,7 @@ if (!var1) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "AbstractSorter#0", var_class_name);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/sorter.nit", 23);
-exit(1);
+show_backtrace(1);
 }
 /* Covariant cast for argument 1 (b) <p1:nullable Object> isa AbstractSorter#0 */
 /* <p1:nullable Object> isa AbstractSorter#0 */
@@ -55,12 +55,12 @@ if (!var2) {
 var_class_name7 = p1 == NULL ? "null" : p1->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "AbstractSorter#0", var_class_name7);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/sorter.nit", 23);
-exit(1);
+show_backtrace(1);
 }
 var_class_name8 = self == NULL ? "null" : self->type->name;
 fprintf(stderr, "Runtime error: Abstract method `%s` called on `%s`", "compare", var_class_name8);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/sorter.nit", 23);
-exit(1);
+show_backtrace(1);
 RET_LABEL:;
 return var;
 }
@@ -100,7 +100,7 @@ if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Array[AbstractSorter#0]", var_class_name);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/sorter.nit", 30);
-exit(1);
+show_backtrace(1);
 }
 var_array = p0;
 var1 = 0;
@@ -159,7 +159,7 @@ if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Array[AbstractSorter#0]", var_class_name);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/sorter.nit", 33);
-exit(1);
+show_backtrace(1);
 }
 var_array = p0;
 var_from = p1;
@@ -171,8 +171,8 @@ var3 = 1; /* easy <var_to:Int> isa OTHER*/
 if (!var3) {
 var_class_name6 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name6);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
+show_backtrace(1);
 }
 var7 = var_from >= var_to;
 var1 = var7;
@@ -196,8 +196,8 @@ var14 = 1; /* easy <var_to:Int> isa OTHER*/
 if (!var14) {
 var_class_name17 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name17);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
+show_backtrace(1);
 }
 var18 = var9 < var_to;
 var12 = var18;
@@ -310,7 +310,7 @@ if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Array[AbstractSorter#0]", var_class_name);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/sorter.nit", 45);
-exit(1);
+show_backtrace(1);
 }
 var_array = p0;
 var_from = p1;
@@ -327,8 +327,8 @@ var4 = 1; /* easy <var_i:Int> isa OTHER*/
 if (!var4) {
 var_class_name7 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name7);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 263);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
+show_backtrace(1);
 }
 var8 = var_j > var_i;
 var2 = var8;
@@ -344,8 +344,8 @@ var12 = 1; /* easy <var_to:Int> isa OTHER*/
 if (!var12) {
 var_class_name15 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name15);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 260);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 264);
+show_backtrace(1);
 }
 var16 = var_i <= var_to;
 var10 = var16;
@@ -364,8 +364,8 @@ var22 = 1; /* easy <var19:Int> isa OTHER*/
 if (!var22) {
 var_class_name25 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name25);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 260);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 264);
+show_backtrace(1);
 }
 var26 = var18 <= var19;
 var20 = var26;
@@ -396,8 +396,8 @@ var34 = 1; /* easy <var_i:Int> isa OTHER*/
 if (!var34) {
 var_class_name37 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name37);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 263);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
+show_backtrace(1);
 }
 var38 = var_j > var_i;
 var32 = var38;
@@ -416,8 +416,8 @@ var45 = 1; /* easy <var42:Int> isa OTHER*/
 if (!var45) {
 var_class_name48 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name48);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
+show_backtrace(1);
 }
 var49 = var41 >= var42;
 var43 = var49;
@@ -447,8 +447,8 @@ var57 = 1; /* easy <var_i:Int> isa OTHER*/
 if (!var57) {
 var_class_name60 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name60);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 263);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
+show_backtrace(1);
 }
 var61 = var_j > var_i;
 var55 = var61;
@@ -560,7 +560,7 @@ if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Array[AbstractSorter#0]", var_class_name);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/sorter.nit", 66);
-exit(1);
+show_backtrace(1);
 }
 var_array = p0;
 var_from = p1;
@@ -574,8 +574,8 @@ var3 = 1; /* easy <var_to:Int> isa OTHER*/
 if (!var3) {
 var_class_name6 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name6);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
+show_backtrace(1);
 }
 var7 = var_i < var_to;
 var1 = var7;
@@ -595,8 +595,8 @@ var11 = 1; /* easy <var_to:Int> isa OTHER*/
 if (!var11) {
 var_class_name14 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name14);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 260);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 264);
+show_backtrace(1);
 }
 var15 = var_j <= var_to;
 var9 = var15;
@@ -614,8 +614,8 @@ var21 = 1; /* easy <var18:Int> isa OTHER*/
 if (!var21) {
 var_class_name24 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name24);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 263);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
+show_backtrace(1);
 }
 var25 = var17 > var18;
 var19 = var25;
@@ -700,7 +700,7 @@ if (!var1) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "AbstractSorter#0", var_class_name);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/sorter.nit", 94);
-exit(1);
+show_backtrace(1);
 }
 /* Covariant cast for argument 1 (b) <p1:Comparable> isa AbstractSorter#0 */
 /* <p1:Comparable> isa AbstractSorter#0 */
@@ -716,7 +716,7 @@ if (!var2) {
 var_class_name6 = p1 == NULL ? "null" : p1->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "AbstractSorter#0", var_class_name6);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/sorter.nit", 94);
-exit(1);
+show_backtrace(1);
 }
 var_a = p0;
 var_b = p1;