tests/sav/base_sig_inh_alt1.fail

   1 Aborted in abstract_collection::CoupleMap::(abstract_collection::MapRead::[]) (../bin/../lib/standard//abstract_collection.nit:384)
   2 ,---- Stack trace -- - -  -
   3 | abstract_collection::CoupleMap::(abstract_collection::MapRead::[]) (../bin/../lib/standard//abstract_collection.nit:380)
   4 | abstractmetamodel::MMModule::class_by_name (./metamodel//abstractmetamodel.nit:214)
   5 | syntax_base::AbsSyntaxVisitor::type_array (./syntax//syntax_base.nit:299)
   6 | mmbuilder::PParam::(mmbuilder::PNode::accept_property_verifier) (./syntax//mmbuilder.nit:1166)
   7 | mmbuilder::PropertyVerifierVisitor::(parser_prod::Visitor::visit) (./syntax//mmbuilder.nit:371)
   8 | parser_prod::ASignature::(parser_prod::PNode::visit_all) (./parser//parser_prod.nit:3775)
   9 | syntax_base::PNode::accept_abs_syntax_visitor (./syntax//syntax_base.nit:445)
  10 | mmbuilder::PNode::accept_property_verifier (./syntax//mmbuilder.nit:409)
  11 | mmbuilder::ASignature::(mmbuilder::PNode::accept_property_verifier) (./syntax//mmbuilder.nit:1114)
  12 | mmbuilder::PropertyVerifierVisitor::(parser_prod::Visitor::visit) (./syntax//mmbuilder.nit:371)
  13 | parser_prod::AConcreteMethPropdef::(parser_prod::PNode::visit_all) (./parser//parser_prod.nit:2347)
  14 | syntax_base::PNode::accept_abs_syntax_visitor (./syntax//syntax_base.nit:445)
  15 | mmbuilder::AMethPropdef::(syntax_base::PNode::accept_abs_syntax_visitor) (./syntax//mmbuilder.nit:1034)
  16 | mmbuilder::PNode::accept_property_verifier (./syntax//mmbuilder.nit:409)
  17 | mmbuilder::AMethPropdef::(mmbuilder::PNode::accept_property_verifier) (./syntax//mmbuilder.nit:1014)
  18 | mmbuilder::PropertyVerifierVisitor::(parser_prod::Visitor::visit) (./syntax//mmbuilder.nit:371)
  19 | parser_prod::ATopClassdef::(parser_prod::PNode::visit_all) (./parser//parser_prod.nit:881)
  20 | syntax_base::PNode::accept_abs_syntax_visitor (./syntax//syntax_base.nit:445)
  21 | mmbuilder::PClassdef::(syntax_base::PNode::accept_abs_syntax_visitor) (./syntax//mmbuilder.nit:547)
  22 | mmbuilder::PNode::accept_property_verifier (./syntax//mmbuilder.nit:409)
  23 | mmbuilder::PropertyVerifierVisitor::(parser_prod::Visitor::visit) (./syntax//mmbuilder.nit:371)
  24 | mmbuilder::MMSrcLocalClass::(mmbuilder::MMLocalClass::accept_properties_visitor) (./syntax//mmbuilder.nit:144)
  25 | mmbuilder::MMSrcModule::do_mmbuilder (./syntax//mmbuilder.nit:36)
  26 | syntax::MMSrcModule::process_syntax (./syntax//syntax.nit:66)
  27 | syntax::SrcModuleLoader::(mmloader::ModuleLoader::process_metamodel) (./syntax//syntax.nit:49)
  28 | mmloader::ModuleLoader::load_and_process_module (./mmloader.nit:277)
  29 | mmloader::ToolContext::try_to_load (./mmloader.nit:129)
  30 | mmloader::ToolContext::get_module_from_filename (./mmloader.nit:175)
  31 | abstracttool::AbstractCompiler::exec_cmd_line (./abstracttool.nit:40)
  32 | nitc::Sys::(kernel::Sys::main) (./nitc.nit:105)
  33 `------------------- - -  -