[GHC] #14391: Make the simplifier independent of the typechecker

[GHC]

#14391: Make the simplifier independent of the typechecker
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:  ulysses4ever
            Type:  task              |               Status:  patch
        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):  Phab:D4503
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by ulysses4ever):

 This makes a lot sense, thanks! I've started doing this.

 For the other, simpler part of the refactoring, namely, the module
 canocalization thing, I've submitted update to the Phab. I'm not sure
 where to put that refactored function though.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14391#comment:22>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler