[Haskell-cafe] Retrieving information about type families

Alejandro Serrano Mena trupill at gmail.com
Fri Jul 25 16:12:56 UTC 2014


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 at 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 at 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 at haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140725/7f8c8ceb/attachment.html>


More information about the Haskell-Cafe mailing list