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

16 Nov 2014

      #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