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, Richard On Mar 19, 2015, at 4:13 AM, Jan Stolarek 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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs