Extracting kind variables from LHsTyVarBndr

Richard Eisenberg eir at cis.upenn.edu
Thu Mar 19 14:44:10 UTC 2015

Do you mean extract kind variable names from a LHsTyVarBndrs (note the 's' at the end!)? That's straightforward: use hsq_kvs. Or do you want to extract variables from an HsType? Then RnTypes.extractHsTyRdrTyVars might be of help.

I hope this helps,

On Mar 19, 2015, at 4:13 AM, Jan Stolarek <jan.stolarek at p.lodz.pl> wrote:

> forall hi,
> is there a function somewhere in the source code that extracts kind variable names from 
> LHsTyVarBndr? I couldn't find anything. Writing one seems a bit scary given the fact that not all 
> fields in HsType constructors are obvious to me.
> Janek
> ---
> Politechnika Łódzka
> Lodz University of Technology
> Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata.
> Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę
> prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie.
> This email contains information intended solely for the use of the individual to whom it is addressed.
> If you are not the intended recipient or if you have received this message in error,
> please notify the sender and delete it from your system.
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

More information about the ghc-devs mailing list