When a type is refined after :print, propagate the substitution to all the interactiv...
[ghc-hetmet.git] / compiler / ghci / GhciTags.hs
2007-04-20 Simon Marlowsplit off :ctags and :etags support into a separate...