#7713: Panic! make_exp (App _ (Coercion _)) when compiled with -fext-core ---------------------------------+------------------------------------------ Reporter: EduardSergeev | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Keywords: -fext-core panic | Os: Linux Architecture: x86_64 (amd64) | Failure: Compile-time crash Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by simonpj): * difficulty: => Unknown Comment: Indeed. In `MkExternalCore` we see: {{{ make_exp (App _e (Coercion _co)) = error "make_exp (App _ (Coercion _))" -- TODO }}} Generally, External Core lacks a proper treatment of the coercions of Core. Does anyone feel like looking at this? It's pretty straightforward: * The External Core data type * Concrete syntax * Parsing * Pretty printing * Conversion to and from Core Generally, External Core could do with some love. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7713#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler