Question about typechecker renaming of tyvars
jeanyang at csail.mit.edu
Thu Feb 19 09:41:37 EST 2009
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
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?
Save us! Think before you print.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Cvs-ghc