[GHC] #5630: External Core needs love

[GHC]

#5630: External Core needs love
-------------------------------+--------------------------------------------
    Reporter:  quux            |        Owner:                    
        Type:  bug             |       Status:  new               
    Priority:  normal          |    Milestone:                    
   Component:  Compiler        |      Version:  7.2.1             
    Keywords:                  |     Testcase:                    
   Blockedby:                  |   Difficulty:                    
          Os:  Windows         |     Blocking:                    
Architecture:  x86_64 (amd64)  |      Failure:  Compile-time crash
-------------------------------+--------------------------------------------

Comment(by tim):

 The reason for having the ExternalCore data types is that External Core
 has a semantics (through the ext-core typechecker and interpreter), and
 I'm not sure whether IfaceSyn does (though I'm not really familiar with
 it). (Of course, the semantics probably doesn't reflect GADTs right
 now...)

 I'm not really sure I'm up for giving ext-core more love at this point,
 but I wanted to recommend some caution...

 Tim

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