tests: add base_vararg2.nit

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

diff --git a/tests/base_vararg2.nit b/tests/base_vararg2.nit
new file mode 100644 (file)
index 0000000..61afa7f
--- /dev/null
+++ b/tests/base_vararg2.nit
@@ -0,0 +1,65 @@
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+import array
+
+class G[E]
+       fun foo(es:E...)
+       do
+               es.output_class_name
+               ' '.output
+               es[0].output_class_name
+               ' '.output
+               es[1].output_class_name
+       end
+end
+
+class X[T:G[nullable Object],U]
+       fun bar(t: T, u: U)
+       do
+               t.foo(u, u)
+       end
+end
+
+var go = new G[Object]
+go.foo(1, true)
+
+var gi = new G[Int]
+gi.foo(1, 2)
+
+var goi: G[Object] = new G[Int]
+goi.foo(1, 2)
+#alt1#goi.foo(1, true)
+
+var xgoo = new X[G[Object], Object]
+xgoo.bar(go, 1)
+xgoo.bar(gi, 1)
+xgoo.bar(goi, 1)
+xgoo.bar(go, true)
+#alt2#xgoo.bar(gi, true)
+#alt3#xgoo.bar(goi, true)
+
+var xgoi = new X[G[Object], Int]
+xgoi.bar(go, 1)
+xgoi.bar(gi, 1)
+xgoi.bar(goi, 1)
+var gb: G[Object] = new G[Bool]
+#alt4#xgoi.bar(gb, 1)
+
+var xgio = new X[G[Int], Object]
+xgio.bar(gi, 1)
+#alt5#xgio.bar(gi, true)
+
+var xgii = new X[G[Int], Object]
+xgii.bar(gi, 1)

diff --git a/tests/sav/base_vararg2.res b/tests/sav/base_vararg2.res
new file mode 100644 (file)
index 0000000..78949d6
--- /dev/null
+++ b/tests/sav/base_vararg2.res
@@ -0,0 +1,36 @@
+Array[Object]
+ Int
+ Bool
+Array[Int]
+ Int
+ Int
+Array[Int]
+ Int
+ Int
+Array[Object]
+ Int
+ Int
+Array[Int]
+ Int
+ Int
+Array[Int]
+ Int
+ Int
+Array[Object]
+ Bool
+ Bool
+Array[Object]
+ Int
+ Int
+Array[Int]
+ Int
+ Int
+Array[Int]
+ Int
+ Int
+Array[Int]
+ Int
+ Int
+Array[Int]
+ Int
+ Int

diff --git a/tests/sav/nitc/fixme/base_vararg2.res b/tests/sav/nitc/fixme/base_vararg2.res
new file mode 100644 (file)
index 0000000..c9a9806
--- /dev/null
+++ b/tests/sav/nitc/fixme/base_vararg2.res
@@ -0,0 +1,36 @@
+Array
+ Int
+ Bool
+Array
+ Int
+ Int
+Array
+ Int
+ Int
+Array
+ Int
+ Int
+Array
+ Int
+ Int
+Array
+ Int
+ Int
+Array
+ Bool
+ Bool
+Array
+ Int
+ Int
+Array
+ Int
+ Int
+Array
+ Int
+ Int
+Array
+ Int
+ Int
+Array
+ Int
+ Int

diff --git a/tests/sav/nitg-e/fixme/base_vararg2.res b/tests/sav/nitg-e/fixme/base_vararg2.res
new file mode 100644 (file)
index 0000000..c9a9806
--- /dev/null
+++ b/tests/sav/nitg-e/fixme/base_vararg2.res
@@ -0,0 +1,36 @@
+Array
+ Int
+ Bool
+Array
+ Int
+ Int
+Array
+ Int
+ Int
+Array
+ Int
+ Int
+Array
+ Int
+ Int
+Array
+ Int
+ Int
+Array
+ Bool
+ Bool
+Array
+ Int
+ Int
+Array
+ Int
+ Int
+Array
+ Int
+ Int
+Array
+ Int
+ Int
+Array
+ Int
+ Int

diff --git a/tests/sav/nitg/fixme/base_vararg2.res b/tests/sav/nitg/fixme/base_vararg2.res
new file mode 100644 (file)
index 0000000..28c7b25
--- /dev/null
+++ b/tests/sav/nitg/fixme/base_vararg2.res
@@ -0,0 +1,36 @@
+Array[Object]
+ Int
+ Bool
+Array[Int]
+ Int
+ Int
+Array[Object]
+ Int
+ Int
+Array[Object]
+ Int
+ Int
+Array[Object]
+ Int
+ Int
+Array[Object]
+ Int
+ Int
+Array[Object]
+ Bool
+ Bool
+Array[Object]
+ Int
+ Int
+Array[Object]
+ Int
+ Int
+Array[Object]
+ Int
+ Int
+Array[Int]
+ Int
+ Int
+Array[Int]
+ Int
+ Int