Question about typechecker renaming of tyvars

[Jean Yang]

Hello,

  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?

Thanks,
Jean



-- 
Jean Yang
http://web.mit.edu/jeanyang/www/
Save us!  Think before you print.
*^^`
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/cvs-ghc/attachments/20090219/bfe1db4e/attachment.htm