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

Attachment: signature.asc
Description: PGP signature

_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Reply via email to