runtime: inform the dynamic type of self on `Abstract method called`

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/src/abstract_compiler.nit b/src/abstract_compiler.nit
index a0d0148..529f3b9 100644 (file)
--- a/src/abstract_compiler.nit
+++ b/src/abstract_compiler.nit
@@ -1718,7 +1718,11 @@ redef class AClassdef
 end
 
 redef class ADeferredMethPropdef
-       redef fun compile_to_c(v, mpropdef, arguments) do v.add_abort("Deferred method called")
+       redef fun compile_to_c(v, mpropdef, arguments) do
+               var cn = v.class_name_string(arguments.first)
+               v.add("fprintf(stderr, \"Runtime error: Abstract method `%s` called on `%s`\", \"{mpropdef.mproperty.name.escape_to_c}\", {cn});")
+               v.add_raw_abort
+       end
        redef fun can_inline do return true
 end
 

diff --git a/src/naive_interpreter.nit b/src/naive_interpreter.nit
index 4449f87..28b5d41 100644 (file)
--- a/src/naive_interpreter.nit
+++ b/src/naive_interpreter.nit
@@ -1033,7 +1033,7 @@ end
 redef class ADeferredMethPropdef
        redef fun call(v, mpropdef, args)
        do
-               fatal(v, "Deferred method called")
+               fatal(v, "Abstract method `{mpropdef.mproperty.name}` called on `{args.first.mtype}`")
                abort
        end
 end

diff --git a/tests/sav/base_abstract_fun_alt1.res b/tests/sav/base_abstract_fun_alt1.res
index ec6936c..77290ae 100644 (file)
--- a/tests/sav/base_abstract_fun_alt1.res
+++ b/tests/sav/base_abstract_fun_alt1.res
@@ -1,2 +1,2 @@
-Runtime error: Deferred method called (alt/base_abstract_fun_alt1.nit:18)
+Runtime error: Abstract method `foo` called on `A` (alt/base_abstract_fun_alt1.nit:18)
 1