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 <[email protected]> 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 > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
