On Wednesday, 10 April 2013 at 09:37:44 UTC, kenji hara wrote:
OK. I don't understand the issue enough, but I'd like to help
you.
- TemplateInstance::tinst may represent the enclosing template
instance
that 'this' instance is instantiated. It is set in
TemplateInstance::semantic(|2|3) for its member's semantic
process.
- TemplateInstance::enclosing may represent the parent of
nested template
instance. If a template is instantiated in function scope with
implicit
context, it points the function. It is set in
TemplateInstance::hasNestedArgs.
- Module::importedFrom may represents the "root module" of
import chain. it
points one of the module that listed in command line.
Good luck.
Kenji Hara
I see no TemplateInstance::enclosing, only Scope::enclosing and
TemplateInstance is not Scope descendant. Essentially I need to
emit symbols not for "importedFrom" module but for module of
top-most tinst in chain. I supposed that iterating tinst can do
the trick, but it is not. For example, when map is used, it call
templated range functions somewhere down the line and iterating
up from those don't get you initial map call scope. (Same issue
in printInstantiationTrace as it uses this method).
Is this a problem with setting correct tinst initialization in
other code, my misunderstanding or, probably, this info may be
relied upon only in semantic3, not semantic1?
