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 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
