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
signature.asc
Description: PGP signature
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs