-
Simon Peyton Jones authored
Previously there was a ton of cruft to do wtih "visible ids" in setInteractiveContext, but I made it all a lot simpler by providing a way to add to the typecheckers list of "global type variables", via TcEnv.tcExtendGlobalTyVars. This is much nicer.
e9999500