tests: remove base_virtual_int that is redundant with base_covar_int

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

diff --git a/tests/base_virtual_int.nit b/tests/base_virtual_int.nit
deleted file mode 100644 (file)
index 7545250..0000000
--- a/tests/base_virtual_int.nit
+++ /dev/null
@@ -1,12 +0,0 @@
-import kernel
-
-fun test(d: Discrete)
-do
-       (d<5).output
-       #alt1#(3<d).output
-       (d<=d).output
-       #alt2#(d<='a').output
-       #alt3#(5.as(Discrete)<=d).output
-end
-
-test(4)

diff --git a/tests/sav/base_virtual_int.res b/tests/sav/base_virtual_int.res
deleted file mode 100644 (file)
index bb101b6..0000000
--- a/tests/sav/base_virtual_int.res
+++ /dev/null
@@ -1,2 +0,0 @@
-true
-true

diff --git a/tests/sav/base_virtual_int_alt1.res b/tests/sav/base_virtual_int_alt1.res
deleted file mode 100644 (file)
index 410b5c9..0000000
--- a/tests/sav/base_virtual_int_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_virtual_int_alt1.nit:6,5: Type error: expected Int, got Discrete

diff --git a/tests/sav/base_virtual_int_alt2.res b/tests/sav/base_virtual_int_alt2.res
deleted file mode 100644 (file)
index 7d83297..0000000
--- a/tests/sav/base_virtual_int_alt2.res
+++ /dev/null
@@ -1,3 +0,0 @@
-Runtime error: Cast failed. Expected `OTHER`, got `Char` (../lib/standard/kernel.nit:256)
-true
-true

diff --git a/tests/sav/base_virtual_int_alt3.res b/tests/sav/base_virtual_int_alt3.res
deleted file mode 100644 (file)
index 71b3285..0000000
--- a/tests/sav/base_virtual_int_alt3.res
+++ /dev/null
@@ -1,4 +0,0 @@
-alt/base_virtual_int_alt3.nit:9,3--16: Warning: Expression is already a Discrete since it is a Int.
-true
-true
-false