Re: [GHC] #7392: the impossible happened when compiling Types.Substitutions
#7392: the impossible happened when compiling Types.Substitutions
-+--
Reporter: martindemello | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
Component: Compiler | Version: 7.6.1
Keywords:| Os: Linux
Architecture: Unknown/Multiple | Failure: Compile-time crash
Difficulty: Unknown |Testcase:
Blockedby:|Blocking:
Related:|
-+--
Comment(by guest):
I reduced the test case.
{{{
module M where
import Data.List (foldl')
data Type = ADT [Type]
rnf (ADT ts) = foldl' (\acc x - rnf x `seq` acc) () ts
}}}
This module is a stripped version of Types.Substitutions and crashes on
`ghc-7.6.1 -O M.hs`. The optimization flag is important.
GHC-7.7.20121024 compiles it fine. Therefore I think this ticket can be
closed as fixed; perhaps you can a regression test to be safe.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7392#comment:2
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7392: the impossible happened when compiling Types.Substitutions
#7392: the impossible happened when compiling Types.Substitutions -+-- Reporter: martindemello | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler|Version: 7.6.1 Resolution: duplicate | Keywords: Os: Linux | Architecture: Unknown/Multiple Failure: Compile-time crash | Difficulty: Unknown Testcase: | Blockedby: Blocking: |Related: -+-- Changes (by simonpj): * status: new = closed * resolution: = duplicate Comment: Yes, I think it's almost certainly a dup of #7237, which has been merged into the upcoming 7.6.2, and which has a regression test. When the 7.6.2 release candidate comes out, do give it a try. Thanks Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7392#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7392: the impossible happened when compiling Types.Substitutions
#7392: the impossible happened when compiling Types.Substitutions
-+--
Reporter: martindemello | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
Component: Compiler | Version: 7.6.1
Keywords:| Os: Linux
Architecture: Unknown/Multiple | Failure: Compile-time crash
Difficulty: Unknown |Testcase:
Blockedby:|Blocking:
Related:|
-+--
Changes (by simonpj):
* difficulty: = Unknown
Old description:
Ran into this when trying to compile elm from git:
$ cabal install
Resolving dependencies...
Configuring Elm-0.5.0.1...
Building Elm-0.5.0.1...
Preprocessing library Elm-0.5.0.1...
[ 3 of 26] Compiling Types.Substitutions ( src/Types/Substitutions.hs,
dist/build/Types/Substitutions.o )
ghc: panic! (the 'impossible' happened)
(GHC version 7.6.1 for i386-unknown-linux):
compiler/codeGen/CgCase.lhs:572:15-61: Irrefutable pattern failed
for pattern ((CoreSyn.DEFAULT,
deflt_absC) : others)
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Failed to install Elm-0.5.0.1
New description:
Ran into this when trying to compile elm from git:
{{{
$ cabal install
Resolving dependencies...
Configuring Elm-0.5.0.1...
Building Elm-0.5.0.1...
Preprocessing library Elm-0.5.0.1...
[ 3 of 26] Compiling Types.Substitutions ( src/Types/Substitutions.hs,
dist/build/Types/Substitutions.o )
ghc: panic! (the 'impossible' happened)
(GHC version 7.6.1 for i386-unknown-linux):
compiler/codeGen/CgCase.lhs:572:15-61: Irrefutable pattern failed
for pattern ((CoreSyn.DEFAULT,
deflt_absC) : others)
}}}
Failed to install Elm-0.5.0.1
--
Comment:
Can you give explicit instructions to reproduce? Hackage only has Elm
0.3.6.2, and I don't know if you think that exposes the bug.
I had a look at download from the github repo, but it was going to install
two dozen packages with muttering about breaking some alread-installed
ones, so I lost heart.
Could you try with `-dcore-lint`. If that fails, send the output. If
not, can you use `-ddump-simpl -ddump-stg` and send that?
Simon
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7392#comment:1
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
