#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

#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: | ---------------------------------+------------------------------------------ Description changed by igloo: Old description:

An attempt to compile the attached file with 7.6.2 (and 7.4.2) with "-O2 -fext-core" leads to:

ghc: panic! (the 'impossible' happened) (GHC version 7.6.2 for x86_64-unknown-linux): make_exp (App _ (Coercion _))

New description: An attempt to compile the attached file with 7.6.2 (and 7.4.2) with "-O2 -fext-core" leads to: {{{ ghc: panic! (the 'impossible' happened) (GHC version 7.6.2 for x86_64-unknown-linux): make_exp (App _ (Coercion _)) }}} -- -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7713#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#7713: Panic! make_exp (App _ (Coercion _)) when compiled with -fext-core ---------------------------------+------------------------------------------ Reporter: EduardSergeev | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: External Core | Version: 7.6.2 Keywords: -fext-core panic | Os: Linux Architecture: x86_64 (amd64) | Failure: Compile-time crash Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by simonpj): Just to re-iterate, there is no technical problem here, just a need for someone who cares about External Core to decide what syntax to use, extend the data type etc. Volunteers? Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7713#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler