Thanks for the help! At the end I'm trying to get the information from a RenamedSource (so I can still get source locations) and then get type information using TcHsType. I haven't succedeed yet, but I think I'm on the way!

2014-07-23 23:38 GMT+02:00 Richard Eisenberg <eir@cis.upenn.edu>:

Does FamInstEnv.lookupFamInstEnv work for you? You will also probably want FamInst.tcGetFamInstEnvs.

Richard

On Jul 23, 2014, at 2:48 PM, Alejandro Serrano Mena <trupill@gmail.com> wrote:

> Dear Café,
> My quest for obtaining information about type families continues.
> Now I have a simple question: how should I access the information about "type instance"s via the GHC API? My aim is to do so after type checking, that is, to get that information from a TypecheckedModule. However, I haven't yet been able to touch the right buttons to make it work ;(
>
> Thanks in advance,
> Alejandro

> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe