tests: enable vararg in bas_sig_inh_alt1

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

diff --git a/tests/base_sig_inh.nit b/tests/base_sig_inh.nit
index cc0bc43..9770c24 100644 (file)
--- a/tests/base_sig_inh.nit
+++ b/tests/base_sig_inh.nit
@@ -15,6 +15,7 @@
 # limitations under the License.
 
 import kernel
+#alt1#import array
 
 class A
        fun f0 is abstract

diff --git a/tests/sav/base_sig_inh_alt1.fail b/tests/sav/base_sig_inh_alt1.fail
deleted file mode 100644 (file)
index 1577c9e..0000000
--- a/tests/sav/base_sig_inh_alt1.fail
+++ /dev/null
@@ -1,33 +0,0 @@
-Aborted in abstract_collection::CoupleMap::(abstract_collection::MapRead::[]) (../bin/../lib/standard//abstract_collection.nit:384)
-,---- Stack trace -- - -  -
-| abstract_collection::CoupleMap::(abstract_collection::MapRead::[]) (../bin/../lib/standard//abstract_collection.nit:380)
-| abstractmetamodel::MMModule::class_by_name (./metamodel//abstractmetamodel.nit:214)
-| syntax_base::AbsSyntaxVisitor::type_array (./syntax//syntax_base.nit:299)
-| mmbuilder::PParam::(mmbuilder::PNode::accept_property_verifier) (./syntax//mmbuilder.nit:1166)
-| mmbuilder::PropertyVerifierVisitor::(parser_prod::Visitor::visit) (./syntax//mmbuilder.nit:371)
-| parser_prod::ASignature::(parser_prod::PNode::visit_all) (./parser//parser_prod.nit:3775)
-| syntax_base::PNode::accept_abs_syntax_visitor (./syntax//syntax_base.nit:445)
-| mmbuilder::PNode::accept_property_verifier (./syntax//mmbuilder.nit:409)
-| mmbuilder::ASignature::(mmbuilder::PNode::accept_property_verifier) (./syntax//mmbuilder.nit:1114)
-| mmbuilder::PropertyVerifierVisitor::(parser_prod::Visitor::visit) (./syntax//mmbuilder.nit:371)
-| parser_prod::AConcreteMethPropdef::(parser_prod::PNode::visit_all) (./parser//parser_prod.nit:2347)
-| syntax_base::PNode::accept_abs_syntax_visitor (./syntax//syntax_base.nit:445)
-| mmbuilder::AMethPropdef::(syntax_base::PNode::accept_abs_syntax_visitor) (./syntax//mmbuilder.nit:1034)
-| mmbuilder::PNode::accept_property_verifier (./syntax//mmbuilder.nit:409)
-| mmbuilder::AMethPropdef::(mmbuilder::PNode::accept_property_verifier) (./syntax//mmbuilder.nit:1014)
-| mmbuilder::PropertyVerifierVisitor::(parser_prod::Visitor::visit) (./syntax//mmbuilder.nit:371)
-| parser_prod::ATopClassdef::(parser_prod::PNode::visit_all) (./parser//parser_prod.nit:881)
-| syntax_base::PNode::accept_abs_syntax_visitor (./syntax//syntax_base.nit:445)
-| mmbuilder::PClassdef::(syntax_base::PNode::accept_abs_syntax_visitor) (./syntax//mmbuilder.nit:547)
-| mmbuilder::PNode::accept_property_verifier (./syntax//mmbuilder.nit:409)
-| mmbuilder::PropertyVerifierVisitor::(parser_prod::Visitor::visit) (./syntax//mmbuilder.nit:371)
-| mmbuilder::MMSrcLocalClass::(mmbuilder::MMLocalClass::accept_properties_visitor) (./syntax//mmbuilder.nit:144)
-| mmbuilder::MMSrcModule::do_mmbuilder (./syntax//mmbuilder.nit:36)
-| syntax::MMSrcModule::process_syntax (./syntax//syntax.nit:66)
-| syntax::SrcModuleLoader::(mmloader::ModuleLoader::process_metamodel) (./syntax//syntax.nit:49)
-| mmloader::ModuleLoader::load_and_process_module (./mmloader.nit:277)
-| mmloader::ToolContext::try_to_load (./mmloader.nit:129)
-| mmloader::ToolContext::get_module_from_filename (./mmloader.nit:175)
-| abstracttool::AbstractCompiler::exec_cmd_line (./abstracttool.nit:40)
-| nitc::Sys::(kernel::Sys::main) (./nitc.nit:105)
-`------------------- - -  -

diff --git a/tests/sav/base_sig_inh_alt1.sav b/tests/sav/base_sig_inh_alt1.sav
new file mode 100644 (file)
index 0000000..baad919
--- /dev/null
+++ b/tests/sav/base_sig_inh_alt1.sav
@@ -0,0 +1 @@
+alt/base_sig_inh_alt1.nit:42,10--17: Error: A vararg parameter is already defined.