diff --git a/hilti/toolchain/include/compiler/printer.h b/hilti/toolchain/include/compiler/printer.h index 0e8bee622..57de4275a 100644 --- a/hilti/toolchain/include/compiler/printer.h +++ b/hilti/toolchain/include/compiler/printer.h @@ -38,10 +38,6 @@ class Stream { char newline() const { return _nl; } - const ID& currentScope() const { return _scopes.back(); } - void pushScope(ID id) { _scopes.push_back(std::move(id)); } - void popScope() { _scopes.pop_back(); } - bool isCompact() { return _compact; } bool setCompact(bool new_compact) { auto old = _compact; @@ -120,7 +116,6 @@ class Stream { bool _first_in_block = false; bool _last_in_block = false; bool _expand_subsequent_type = false; - std::vector _scopes = {""}; }; } // namespace hilti::printer diff --git a/hilti/toolchain/src/compiler/visitors/printer.cc b/hilti/toolchain/src/compiler/visitors/printer.cc index aa5827e05..0bf44c768 100644 --- a/hilti/toolchain/src/compiler/visitors/printer.cc +++ b/hilti/toolchain/src/compiler/visitors/printer.cc @@ -14,6 +14,16 @@ using namespace hilti; using util::fmt; +// Global state storing any scopes we are currently in during printing. +// Maintaining this globally isn't great, but because of various independent +// `printAST()` calls happening recursively through `operator<<` and `fmt()`, +// we can't easily pass this state around. +static std::vector _scopes = {""}; + +static const ID& _currentScope() { return _scopes.back(); } +static void _pushScope(ID id) { _scopes.push_back(std::move(id)); } +static void _popScope() { _scopes.pop_back(); } + static std::string renderOperator(operator_::Kind kind, const std::vector& ops) { switch ( kind ) { case operator_::Kind::Add: return fmt("add %s[%s]", ops[0], ops[1]); @@ -163,7 +173,7 @@ struct Visitor : visitor::PreOrder { } void operator()(const ID& n) { - if ( n.namespace_() == out.currentScope() ) + if ( n.namespace_() == _currentScope() ) out << std::string(n.local()); else out << std::string(n); @@ -174,7 +184,7 @@ struct Visitor : visitor::PreOrder { out << "module " << n.id() << " {" << out.newline(); out.endLine(); - out.pushScope(n.id()); + _pushScope(n.id()); auto printDecls = [&](const auto& decls) { for ( const auto& d : decls ) @@ -200,7 +210,7 @@ struct Visitor : visitor::PreOrder { if ( ! n.statements().statements().empty() ) out.emptyLine(); - out.popScope(); + _popScope(); out.beginLine(); out << "}"; diff --git a/tests/Baseline/hilti.optimization.unimplemented_hook/noopt.hlt b/tests/Baseline/hilti.optimization.unimplemented_hook/noopt.hlt index 1c720cf87..03c708bba 100644 --- a/tests/Baseline/hilti.optimization.unimplemented_hook/noopt.hlt +++ b/tests/Baseline/hilti.optimization.unimplemented_hook/noopt.hlt @@ -10,7 +10,7 @@ type X = struct { global optional> i = global_unimplemented_int64(); global X x; -global optional> j = Foo::x.unimplemented_int64(); +global optional> j = x.unimplemented_int64(); declare public function hook void global_unimplemented_void(); declare public function hook void global_implemented(); @@ -24,7 +24,7 @@ method hook void X::implemented() { global_implemented(); global_unimplemented_void(); -Foo::x.implemented(); -Foo::x.unimplemented_void(); +x.implemented(); +x.unimplemented_void(); } diff --git a/tests/Baseline/hilti.optimization.unimplemented_hook/opt.hlt b/tests/Baseline/hilti.optimization.unimplemented_hook/opt.hlt index 76ee128cc..90d108357 100644 --- a/tests/Baseline/hilti.optimization.unimplemented_hook/opt.hlt +++ b/tests/Baseline/hilti.optimization.unimplemented_hook/opt.hlt @@ -19,7 +19,7 @@ method hook void X::implemented() { global_implemented(); default(); -Foo::x.implemented(); +x.implemented(); default(); } diff --git a/tests/Baseline/spicy.optimization.default-parser-functions/noopt.hlt b/tests/Baseline/spicy.optimization.default-parser-functions/noopt.hlt index b1414a65e..7c4814e73 100644 --- a/tests/Baseline/spicy.optimization.default-parser-functions/noopt.hlt +++ b/tests/Baseline/spicy.optimization.default-parser-functions/noopt.hlt @@ -261,7 +261,7 @@ method extern method view foo::P0::parse1(inout value_ref data, method extern method view foo::P0::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/default-parser-functions.spicy:12:11" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::P0)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(P0)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -471,7 +471,7 @@ method extern method view foo::P1::parse1(inout value_ref data, method extern method view foo::P1::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/default-parser-functions.spicy:14:18" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::P1)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(P1)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -745,7 +745,7 @@ method extern method view foo::P2::parse1(inout value_ref data, method extern method view foo::P2::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/default-parser-functions.spicy:16:18-21:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::P2)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(P2)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; diff --git a/tests/Baseline/spicy.optimization.default-parser-functions/opt.hlt b/tests/Baseline/spicy.optimization.default-parser-functions/opt.hlt index 489b3c7ee..eebe1f36f 100644 --- a/tests/Baseline/spicy.optimization.default-parser-functions/opt.hlt +++ b/tests/Baseline/spicy.optimization.default-parser-functions/opt.hlt @@ -110,7 +110,7 @@ method extern method view foo::P1::parse1(inout value_ref data, method extern method view foo::P1::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/default-parser-functions.spicy:14:18" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::P1)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(P1)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -265,7 +265,7 @@ method extern method view foo::P2::parse1(inout value_ref data, method extern method view foo::P2::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/default-parser-functions.spicy:16:18-21:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::P2)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(P2)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; diff --git a/tests/Baseline/spicy.optimization.feature_requirements/noopt.hlt b/tests/Baseline/spicy.optimization.feature_requirements/noopt.hlt index 56753bd57..9eaeecace 100644 --- a/tests/Baseline/spicy.optimization.feature_requirements/noopt.hlt +++ b/tests/Baseline/spicy.optimization.feature_requirements/noopt.hlt @@ -357,7 +357,7 @@ method extern method view foo::X1::parse1(inout value_ref data, method extern method view foo::X1::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:13:11-15:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::X1)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(X1)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -567,7 +567,7 @@ method extern method view foo::X2::parse1(inout value_ref data, method extern method view foo::X2::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:18:11" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::X2)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(X2)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -785,7 +785,7 @@ method extern method view foo::X3::parse1(inout value_ref data, method extern method view foo::X3::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:21:11-23:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::X3)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(X3)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -1003,7 +1003,7 @@ method extern method view foo::X4::parse1(inout value_ref data, method extern method view foo::X4::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:27:11-29:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::X4)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(X4)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -1056,7 +1056,7 @@ init function void __register_foo_X4() { } method hook void foo::X5::__on_0x25_init() { - spicy_rt::filter_connect(self, new foo::X4()); + spicy_rt::filter_connect(self, new X4()); } method method tuple, int<64>, iterator, optional> foo::X5::__parse_stage1(inout value_ref __data, copy view __cur, copy bool __trim, copy int<64> __lah, copy iterator __lahe, copy optional __error) { @@ -1217,7 +1217,7 @@ method extern method view foo::X5::parse1(inout value_ref data, method extern method view foo::X5::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:31:18-35:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::X5)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(X5)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -1429,7 +1429,7 @@ method extern method view foo::X6::parse1(inout value_ref data, method extern method view foo::X6::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:38:11-41:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::X6)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(X6)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; diff --git a/tests/Baseline/spicy.optimization.feature_requirements/opt.hlt b/tests/Baseline/spicy.optimization.feature_requirements/opt.hlt index bbbb910a0..60d4ce7ec 100644 --- a/tests/Baseline/spicy.optimization.feature_requirements/opt.hlt +++ b/tests/Baseline/spicy.optimization.feature_requirements/opt.hlt @@ -164,7 +164,7 @@ method extern method view foo::X4::parse1(inout value_ref data, method extern method view foo::X4::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:27:11-29:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::X4)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(X4)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -208,7 +208,7 @@ init function void __register_foo_X4() { } method hook void foo::X5::__on_0x25_init() { - spicy_rt::filter_connect(self, new foo::X4()); + spicy_rt::filter_connect(self, new X4()); } method method tuple, int<64>, iterator, optional> foo::X5::__parse_stage1(inout value_ref __data, copy view __cur, copy bool __trim, copy int<64> __lah, copy iterator __lahe, copy optional __error) { @@ -292,7 +292,7 @@ method extern method view foo::X5::parse1(inout value_ref data, method extern method view foo::X5::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:31:18-35:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::X5)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(X5)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -399,7 +399,7 @@ method extern method view foo::X6::parse1(inout value_ref data, method extern method view foo::X6::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/feature_requirements.spicy:38:11-41:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::X6)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(X6)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; diff --git a/tests/Baseline/spicy.optimization.unused-functions/noopt.hlt b/tests/Baseline/spicy.optimization.unused-functions/noopt.hlt index 77a4d1530..9744ed3df 100644 --- a/tests/Baseline/spicy.optimization.unused-functions/noopt.hlt +++ b/tests/Baseline/spicy.optimization.unused-functions/noopt.hlt @@ -327,7 +327,7 @@ method extern method view foo::A::parse1(inout value_ref data, o method extern method view foo::A::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-functions.spicy:18:10" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::A)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(A)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -537,7 +537,7 @@ method extern method view foo::B::parse1(inout value_ref data, o method extern method view foo::B::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-functions.spicy:21:17" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::B)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(B)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -743,7 +743,7 @@ method extern method view foo::C::parse1(inout value_ref data, o method extern method view foo::C::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-functions.spicy:24:10" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::C)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(C)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -964,7 +964,7 @@ method extern method view foo::D::parse1(inout value_ref data, o method extern method view foo::D::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-functions.spicy:25:17-27:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::D)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(D)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -1178,7 +1178,7 @@ method extern method view foo::F::parse1(inout value_ref data, o method extern method view foo::F::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-functions.spicy:30:10-32:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::F)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(F)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; diff --git a/tests/Baseline/spicy.optimization.unused-functions/opt.hlt b/tests/Baseline/spicy.optimization.unused-functions/opt.hlt index 1fed47133..2be88e9f7 100644 --- a/tests/Baseline/spicy.optimization.unused-functions/opt.hlt +++ b/tests/Baseline/spicy.optimization.unused-functions/opt.hlt @@ -119,7 +119,7 @@ method extern method view foo::B::parse1(inout value_ref data, o method extern method view foo::B::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-functions.spicy:21:17" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::B)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(B)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -270,7 +270,7 @@ method extern method view foo::D::parse1(inout value_ref data, o method extern method view foo::D::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-functions.spicy:25:17-27:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::D)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(D)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; diff --git a/tests/Baseline/spicy.optimization.unused-types/noopt.hlt b/tests/Baseline/spicy.optimization.unused-types/noopt.hlt index 4eb45c993..6eec7a466 100644 --- a/tests/Baseline/spicy.optimization.unused-types/noopt.hlt +++ b/tests/Baseline/spicy.optimization.unused-types/noopt.hlt @@ -460,7 +460,7 @@ method extern method view foo::Priv1::parse1(inout value_ref dat method extern method view foo::Priv1::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-types.spicy:13:14" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::Priv1)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(Priv1)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -670,7 +670,7 @@ method extern method view foo::Pub2::parse1(inout value_ref data method extern method view foo::Pub2::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-types.spicy:16:20" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::Pub2)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(Pub2)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -876,7 +876,7 @@ method extern method view foo::Priv2::parse1(inout value_ref dat method extern method view foo::Priv2::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-types.spicy:19:14" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::Priv2)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(Priv2)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -1086,7 +1086,7 @@ method extern method view foo::Priv3::parse1(inout value_ref dat method extern method view foo::Priv3::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-types.spicy:20:14" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::Priv3)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(Priv3)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -1334,7 +1334,7 @@ method extern method view foo::Priv4::parse1(inout value_ref dat method extern method view foo::Priv4::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-types.spicy:21:14-24:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::Priv4)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(Priv4)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -1544,7 +1544,7 @@ method extern method view foo::Priv5::parse1(inout value_ref dat method extern method view foo::Priv5::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-types.spicy:27:14" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::Priv5)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(Priv5)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -1754,7 +1754,7 @@ method extern method view foo::Priv6::parse1(inout value_ref dat method extern method view foo::Priv6::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-types.spicy:28:14" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::Priv6)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(Priv6)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -2002,7 +2002,7 @@ method extern method view foo::Pub3::parse1(inout value_ref data method extern method view foo::Pub3::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-types.spicy:29:20-32:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::Pub3)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(Pub3)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -2208,7 +2208,7 @@ method extern method view foo::Priv10::parse1(inout value_ref da method extern method view foo::Priv10::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-types.spicy:43:22-46:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::Priv10)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(Priv10)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; diff --git a/tests/Baseline/spicy.optimization.unused-types/opt.hlt b/tests/Baseline/spicy.optimization.unused-types/opt.hlt index 75593b2cf..e9b2fe8f2 100644 --- a/tests/Baseline/spicy.optimization.unused-types/opt.hlt +++ b/tests/Baseline/spicy.optimization.unused-types/opt.hlt @@ -164,7 +164,7 @@ method extern method view foo::Pub2::parse1(inout value_ref data method extern method view foo::Pub2::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-types.spicy:16:20" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::Pub2)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(Pub2)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -376,7 +376,7 @@ method extern method view foo::Pub3::parse1(inout value_ref data method extern method view foo::Pub3::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-types.spicy:29:20-32:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::Pub3)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(Pub3)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end; @@ -477,7 +477,7 @@ method extern method view foo::Priv10::parse1(inout value_ref da method extern method view foo::Priv10::parse3(inout value_ref gunit, inout value_ref data, optional> cur = Null, optional context) &needed-by-feature="is_filter" &needed-by-feature="supports_sinks" &static { # "<...>/unused-types.spicy:43:22-46:2" local value_ref unit = value_ref(default())value_ref(default()); - spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(foo::Priv10)); + spicy_rt::initializeParsedUnit(gunit, unit, typeinfo(Priv10)); local view ncur = cur ? (*cur) : cast>((*data)); local int<64> lahead = 0; local iterator lahead_end;