On 19-05-17 08:35:32, Edward Z. Yang wrote:
Excerpts from Tom Sydney Kerckhove's message of 2017-05-19 11:05:17 +0200:
But if you really need all instances, you will have to first arrange to load the interfaces of ALL modules transitively imported by your module.
I don't really mind the time it takes to do this, but that's annoying to write.
Thank you for your help! I will look into it.
Another possibility is, if you can programatically list the types that you are interested in, you can load all of those, and then the instances for those types will be ready.
That's probably the most feasible approach. Then I'd have to find all the types in scope, and find their interfaces. I know how to get all the TyThing's in scope, so it should be easy-ish to get started. Thanks! -- Tom Sydney Kerckhove