> For reasons I don't yet understand the input probing can (and does) select
> multiple input modules. The logic to match already-loaded modules so as to
> reject related candidates but not reject unrelated candidates is not as simple
> as just looking for a symbol. I'd rather leave that for a future MP (hence the
> TODO).
I've discussed this with Andreas and we don't need multiple input modules.
I'd like to land and build on this MP. Two changes will follow: refactoring to using a single input module; and then, as you suggest, checking to see if we've already loaded a satisfactory module.
> For reasons I don't yet understand the input probing can (and does) select
> multiple input modules. The logic to match already-loaded modules so as to
> reject related candidates but not reject unrelated candidates is not as simple
> as just looking for a symbol. I'd rather leave that for a future MP (hence the
> TODO).
I've discussed this with Andreas and we don't need multiple input modules.
I'd like to land and build on this MP. Two changes will follow: refactoring to using a single input module; and then, as you suggest, checking to see if we've already loaded a satisfactory module.