Question about typechecker renaming of tyvars

[Ian Lynagh]

Hi Jean,

On Thu, Feb 19, 2009 at 09:41:37AM -0500, Jean Yang wrote:
> 
>   I've been trying to extend the Template Haskell parts of GHC (mostly
> compiler/typechek/TcSplice.lhs) so that I can get back the signatures of
> methods for all instances of a given type class.  I get unbound type
> variable errors (ex. Main.hs:21:9: Not in scope: type variable `l[i19B]') at
> compile time when I am accessing type classes not defined in my source code
> (ex. Show).
> 
>   Could this be caused by some renaming stage?  If so, could someone point
> me to where this occurs?
> 
>   Also, is this the right place for such questions?

This is the right place, but I'm afraid I don't know what the problem
is. If you show us your patch then perhaps we will be able to work out
what's going on.


Thanks
Ian