model: rewrite of MType::is_subtype

[nit.git] / src / naive_interpreter.nit

diff --git a/src/naive_interpreter.nit b/src/naive_interpreter.nit
index 48b517d..9c866fa 100644 (file)
--- a/src/naive_interpreter.nit
+++ b/src/naive_interpreter.nit
@@ -478,7 +478,7 @@ abstract class Instance
        fun eq_is(o: Instance): Bool do return self is o
 
        # Human readable object identity "Type#number"
-       redef fun to_s do return "{mtype}#{object_id}"
+       redef fun to_s do return "{mtype}"
 
        # Return the integer value if the instance is an integer.
        # else aborts
@@ -576,10 +576,11 @@ redef class ANode
        private fun fatal(v: NaiveInterpreter, message: String)
        do
                if v.modelbuilder.toolcontext.opt_no_color.value == true then
-                       print("Runtime error: {message} ({location.file.filename}:{location.line_start})")
+                       stderr.write("Runtime error: {message} ({location.file.filename}:{location.line_start})\n")
                else
-                       print("{location}: Runtime error: {message}\n{location.colored_line("0;31")}")
-                       print(v.stack_trace)
+                       stderr.write("{location}: Runtime error: {message}\n{location.colored_line("0;31")}\n")
+                       stderr.write(v.stack_trace)
+                       stderr.write("\n")
                end
                exit(1)
        end