X-Git-Url: http://nitlanguage.org?ds=inline

diff --git a/c_src/astvalidation.sep.1.c b/c_src/astvalidation.sep.1.c
index 76a3e42..3a72335 100644
--- a/c_src/astvalidation.sep.1.c
+++ b/c_src/astvalidation.sep.1.c
@@ -25,8 +25,9 @@ val* var /* : List[ANode] */;
 val* var1 /* : List[ANode] */;
 var1 = self->attrs[COLOR_astvalidation__ASTValidationVisitor___64dpath].val; /* @path on <self:ASTValidationVisitor> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @path", "src/astvalidation.nit", 30);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @path");
+fprintf(stderr, " (%s:%d)\n", "src/astvalidation.nit", 30);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -57,8 +58,9 @@ val* var /* : HashSet[ANode] */;
 val* var1 /* : HashSet[ANode] */;
 var1 = self->attrs[COLOR_astvalidation__ASTValidationVisitor___64dseen].val; /* @seen on <self:ASTValidationVisitor> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @seen", "src/astvalidation.nit", 31);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @seen");
+fprintf(stderr, " (%s:%d)\n", "src/astvalidation.nit", 31);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -105,6 +107,7 @@ short int var4 /* : Bool */;
 short int var6 /* : Bool */;
 int cltype;
 int idtype;
+const char* var_class_name;
 short int var7 /* : Bool */;
 val* var8 /* : List[ANode] */;
 long var9 /* : Int */;
@@ -151,8 +154,10 @@ var3 = 1;
 /* <var3:Int> isa OTHER */
 var6 = 1; /* easy <var3:Int> isa OTHER*/
 if (!var6) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Cast failed", "lib/standard/kernel.nit", 259);
-exit(1);
+var_class_name = type_kernel__Int.name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
+show_backtrace(1);
 }
 var7 = var2 > var3;
 var4 = var7;
@@ -203,7 +208,6 @@ var25 = NEW_array__NativeArray(var24, &type_array__NativeArraykernel__Object);
 ((struct instance_array__NativeArray*)var25)->values[2] = (val*) var19;
 ((struct instance_array__NativeArray*)var25)->values[3] = (val*) var_parent;
 ((void (*)(val*, val*, long))(var23->class->vft[COLOR_array__Array__with_native]))(var23, var25, var24) /* with_native on <var23:Array[Object]>*/;
-CHECK_NEW_array__Array(var23);
 }
 var26 = ((val* (*)(val*))(var23->class->vft[COLOR_string__Object__to_s]))(var23) /* to_s on <var23:Array[Object]>*/;
 ((void (*)(val*, val*))(self->class->vft[COLOR_parser_nodes__ANode__debug]))(self, var26) /* debug on <self:ANode>*/;
@@ -239,8 +243,9 @@ var37 = 0; /* arg is null but recv is not */
 if (var37){
 var38 = ((val* (*)(val*))(self->class->vft[COLOR_parser_nodes__ANode__parent]))(self) /* parent on <self:ANode>*/;
 if (var38 == NULL) {
-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Reciever is null", "src/astvalidation.nit", 57);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "src/astvalidation.nit", 57);
+show_backtrace(1);
 } else {
 var39 = ((val* (*)(val*))(var38->class->vft[COLOR_parser_nodes__ANode__location]))(var38) /* location on <var38:nullable ANode>*/;
 }