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