tests: simplify test_refinement.nit
authorJean Privat <jean@pryen.org>
Mon, 12 Aug 2013 18:39:40 +0000 (14:39 -0400)
committerJean Privat <jean@pryen.org>
Mon, 12 Aug 2013 18:39:40 +0000 (14:39 -0400)
Signed-off-by: Jean Privat <jean@pryen.org>

tests/sav/test_refinement.sav
tests/test_refinement.nit

index b5b6d19..17e511f 100644 (file)
@@ -1,6 +1,2 @@
-print:4! = 4! = 24
-print:4! = 4! = 24
-1122
-112233
-ab
-abc
+4! = 24
+4! = 24
index c5b19f5..6c89e9f 100644 (file)
@@ -42,37 +42,7 @@ redef class Int
        end
 end
 
-redef class Array[F]
-    redef fun add(item: F)
-       do
-           self[length] = item
-           self[length] = item
-       end
-end
-
-redef class Object
-    redef fun printn(a: Object...)
-       do
-            stdout.write("print:")
-           stdout.write(a.to_s)
-       end
-end
-
 printn("4! = ")
 print(4.fact2)
 printn("4! = ")
 print(4.fact0)
-
-var a = [1,2]
-do
-    print(a)
-    a.add(3)
-    print(a)
-end
-
-var b = new Buffer.from("ab")
-do
-    print(b)
-    b.add('c')
-    print(b)
-end