Merge: Numeric, a super-class to Int and Float

[nit.git] / src / naive_interpreter.nit

diff --git a/src/naive_interpreter.nit b/src/naive_interpreter.nit
index 9a25fa9..a423c53 100644 (file)
--- a/src/naive_interpreter.nit
+++ b/src/naive_interpreter.nit
@@ -675,10 +675,6 @@ redef class AInternMethPropdef
                else if cname == "Int" then
                        if pname == "unary -" then
                                return v.int_instance(-args[0].to_i)
-                       else if pname == "succ" then
-                               return v.int_instance(args[0].to_i + 1)
-                       else if pname == "prec" then
-                               return v.int_instance(args[0].to_i - 1)
                        else if pname == "+" then
                                return v.int_instance(args[0].to_i + args[1].to_i)
                        else if pname == "-" then
@@ -712,14 +708,10 @@ redef class AInternMethPropdef
                        var recv = args[0].val.as(Char)
                        if pname == "ascii" then
                                return v.int_instance(recv.ascii)
-                       else if pname == "succ" then
-                               return v.char_instance(recv.succ)
-                       else if pname == "prec" then
-                               return v.char_instance(recv.prec)
-                       else if pname == "+" then
-                               return v.char_instance(recv + args[1].to_i)
-                       else if pname == "-" then
-                               return v.char_instance(recv - args[1].to_i)
+                       else if pname == "successor" then
+                               return v.char_instance(recv.successor(args[1].to_i))
+                       else if pname == "predecessor" then
+                               return v.char_instance(recv.predecessor(args[1].to_i))
                        else if pname == "<" then
                                return v.bool_instance(recv < args[1].val.as(Char))
                        else if pname == ">" then