#14391: Make the simplifier independent of the typechecker -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.3 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj):
I'm wondering if it is legit to deal with initIfaceTcRn by just repalacing it with TcRnMonad.initIfaceLoad
Yes that sounds just right.
If so, do we need to move it to some less Tc-heavy place?
We might indeed want to do this. But you might want to keep the moving- code-around work in a separate patch, lest the diffs from that refactoring obscure the main payload -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14391#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler