[GHC] #9804: Layering: Suspicious dependency from Parser to TcEvidence

[GHC]

#9804: Layering: Suspicious dependency from Parser to TcEvidence
-------------------------------------+-------------------------------------
       Reporter:  rodlogic           |                   Owner:
           Type:  bug                |                  Status:  new
       Priority:  normal             |               Milestone:
      Component:  Compiler           |                 Version:  7.8.3
       Keywords:                     |        Operating System:
   Architecture:  Unknown/Multiple   |  Unknown/Multiple
     Difficulty:  Unknown            |         Type of failure:
     Blocked By:                     |  None/Unknown
Related Tickets:                     |               Test Case:
                                     |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------
 There is an import from Parser to TcEvidence module. Why does the parser
 need to know about type checking?

 The parser should produce an AST and through the AST (and global modules)
 be isolated from the rest of the compiler pipeline.

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